Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-12 05:57 1463f592

View on Github →

fix(tactic/suggest): fixing library_search (#12616) Further enhancing library_search search possibilities for 'ne' and 'not eq' Related: https://github.com/leanprover-community/mathlib/pull/11742

Estimated changes

added structure test.library_search.foo