Mathlib v3 is deprecated. Go to Mathlib v4

Theorem test.library_search.zero_lt_one

Modification history

2020-07-20 08:16
test/library_search/basic.lean
fix(tactic/library_search): 1 ≤ n goals in nat (#3462) …
Modified test.library_search.zero_lt_oneView on Github →
2019-09-24 05:46
test/library_search/basic.lean
feat(tactic/library_search): a more powerful library_search (#1470) …
Added test.library_search.zero_lt_oneView on Github →