Theorem Bool_eq_iff2

Modification history

2024-05-31 00:19

test/LibrarySearch/basic.lean

chore: fix formatting of many misplaced "by"s (#13204)

Modified Bool_eq_iff2 View on Github →

2023-06-12 01:02

test/LibrarySearch/basic.lean

chore: formatting issues (#4947)

Modified Bool_eq_iff2 View on Github →

2023-02-16 19:50

test/librarySearch.lean

fix: avoid sorryAx in library_search (#2304) …

Added Bool_eq_iff2 View on Github →