Def Mathlib.Notation3.Matcher

Modification history

2025-11-19 06:07
Mathlib/Util/Notation3.lean
chore: move Mathlib to the module system (#31786) …
Modified Mathlib.Notation3.MatcherView on Github →
2023-06-02 12:48
Mathlib/Mathport/Notation.lean
feat: `notation3` delaborator generation (#4533) …
Added Mathlib.Notation3.MatcherView on Github →