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.

Estimated changes