Def Mathlib.Tactic.LibrarySearch.exact?

Modification history

2024-03-05 04:47

Mathlib/Tactic/LibrarySearch.lean

chore: move Mathlib to v4.7.0-rc1 (#11162) …

Deleted Mathlib.Tactic.LibrarySearch.exact?View on Github →

2023-06-14 12:28

Mathlib/Tactic/LibrarySearch.lean

chore: rename `library_search`/`propose`/`rewrites` to `apply?`/`have?`/`rw?` (#4885) …

Added Mathlib.Tactic.LibrarySearch.exact?View on Github →