Commit 7575097

committed

finish

1 parent 9db8cc0 commit 7575097Copy full SHA for 7575097

6 files changed

+287

-84

lines changed

src/Init/Data
- Array
  - Find.lean
- List
- Vector
  - Find.lean
tests/lean/run
- grind_list_find.lean

6 files changed

+287

-84

lines changed

Comments

(0)