Def Mathlib.Notation3.MatchState.withVar

Modification history

2024-04-19 20:51
Mathlib/Mathport/Notation.lean
chore(Logic): reduce use of autoImplicit (#12135) …
Modified Mathlib.Notation3.MatchState.withVarView on Github →
2023-06-02 12:48
Mathlib/Mathport/Notation.lean
feat: `notation3` delaborator generation (#4533) …
Added Mathlib.Notation3.MatchState.withVarView on Github →