Mathlib Changelog v4

Changelog About Github

Theorem ONote.NF.oadd

Modification history

2023-06-21 05:19

Mathlib/SetTheory/Ordinal/Notation.lean

feat: port SetTheory.Ordinal.Notation (#2470)

Added ONote.NF.oadd View on Github →