Commit 2024-10-15 04:35 c3bca905
View on Github →doc(SetTheory/Ordinal/Notation): rewrap and improve docs (#16283) We mostly just rewrap comment blocks and add some missing periods.
doc(SetTheory/Ordinal/Notation): rewrap and improve docs (#16283) We mostly just rewrap comment blocks and add some missing periods.