Mathlib Changelog
v4
Changelog
About
Github
Commit
2021-05-10 14:02
4991f5e6
View on Github →
feat(Tactic/NoMatch): more uniform null pattern matches
Estimated changes
Created
Mathlib/Tactic/NoMatch.lean
added
def
Lean.Elab.Term.elabNoMatch'