Mathlib Changelog
v4
Changelog
About
Github
Inductive
Mathlib.Notation3.DelabKey
Modification history
2025-01-30 09:06
Mathlib/Util/Notation3.lean
feat: let `notation3` pretty print "overapplied" notations (#21239) …
Added
Mathlib.Notation3.DelabKey
View on Github →