Def Mathlib.Tactic.LibrarySearch.librarySearchSymm

Modification history

2024-03-05 04:47
Mathlib/Tactic/LibrarySearch.lean
chore: move Mathlib to v4.7.0-rc1 (#11162) …
Deleted Mathlib.Tactic.LibrarySearch.librarySearchSymmView on Github →
2023-06-10 07:04
Mathlib/Tactic/LibrarySearch.lean
feat: better handling of symm in library_search (#4534) …
Added Mathlib.Tactic.LibrarySearch.librarySearchSymmView on Github →