Mathlib v3 is deprecated. Go to Mathlib v4

Def test.library_search.P

Modification history

2019-09-24 05:46
test/library_search/basic.lean
feat(tactic/library_search): a more powerful library_search (#1470) …
Deleted test.library_search.PView on Github →
2019-05-02 04:37
test/library_search/basic.lean
fix(tactic/library_search): iff lemmas with universes (#935) …
Added test.library_search.PView on Github →