Mathlib v3 is deprecated. Go to Mathlib v4

Structure test.library_search.foo

Modification history

2022-03-12 05:57
test/library_search/basic.lean
fix(tactic/suggest): fixing `library_search` (#12616) …
Added test.library_search.fooView on Github →