Mathlib v3 is deprecated. Go to Mathlib v4

Theorem test.library_search.nonzero_gt_one

Modification history

2020-07-20 08:16
test/library_search/basic.lean
fix(tactic/library_search): 1 ≤ n goals in nat (#3462) …
Added test.library_search.nonzero_gt_oneView on Github →