Theorem Bool_eq_iff

Modification history

2024-05-31 00:19
test/LibrarySearch/basic.lean
chore: fix formatting of many misplaced "by"s (#13204)
Modified Bool_eq_iffView on Github →
2023-06-12 01:02
test/LibrarySearch/basic.lean
chore: formatting issues (#4947)
Modified Bool_eq_iffView on Github →
2023-02-16 19:50
test/librarySearch.lean
fix: avoid sorryAx in library_search (#2304) …
Added Bool_eq_iffView on Github →