Theorem lemma_with_false_in_head

Modification history

2023-06-12 01:02
test/LibrarySearch/basic.lean
chore: formatting issues (#4947)
Modified lemma_with_false_in_headView on Github →
2022-11-20 21:24
test/librarySearch.lean
chore: fix linter warnings in tests (#662)
Modified lemma_with_false_in_headView on Github →
2021-10-13 09:00
test/librarySearch.lean
feat: librarySearch (#65) …
Added lemma_with_false_in_headView on Github →