Def Tactic.LibrarySearch.librarySearch

Modification history

2022-11-03 22:33
Mathlib/Tactic/LibrarySearch.lean
chore: update std4 11-03 (#535) …
Deleted Tactic.LibrarySearch.librarySearchView on Github →
2022-11-01 23:28
Mathlib/Tactic/LibrarySearch.lean
feat: library_search using (#503) …
Modified Tactic.LibrarySearch.librarySearchView on Github →
2022-08-01 09:31
Mathlib/Tactic/LibrarySearch.lean
chore: bump to 2022-07-31 (#359)
Modified Tactic.LibrarySearch.librarySearchView on Github →
2021-10-13 09:00
Mathlib/Tactic/LibrarySearch.lean
feat: librarySearch (#65) …
Added Tactic.LibrarySearch.librarySearchView on Github →