Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/replace
/
.
/
tests
/
lean
/
986.lean
blob: b5ba6793e2852d0422382c30ecc04ebe218597d0 [
file
] [
edit
]
attribute
[
simp
]
Array
.
insertionSort
.
swapLoop
#check Array.insertionSort.swapLoop._eq_1
#check Array.insertionSort.swapLoop._eq_2
