Theorem nonzero_gt_one

Modification history

2023-03-15 00:24
test/librarySearch.lean
feat: speed up library_search by discarding lemma with non-specific discrimination keys. (#2888) …
Deleted nonzero_gt_oneView on Github →
2023-03-13 05:24
test/librarySearch.lean
feat: library_search handles iff and Eq.symm (#2768) …
Added nonzero_gt_oneView on Github →