mathlib

1463f592 - fix(tactic/suggest): fixing `library_search` (#12616)

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