Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-03-25 02:18
f2f41de1
View on Github →
chore: rm @[eqns] in SetTheory/Ordinal/Notation (
#11646
)
Estimated changes
Modified
Mathlib/SetTheory/Ordinal/Notation.lean
modified
theorem
ONote.ofNat_succ
modified
theorem
ONote.ofNat_zero