Mathlib v3 is deprecated. Go to Mathlib v4

Def test.library_search.map_from_sum

Modification history

2020-04-25 05:42
test/library_search/basic.lean
refactor(tactic/suggest): call library_search and suggest with additional lemmas, better lemma caching (#2429) …
Added test.library_search.map_from_sumView on Github →