Commit 2026-03-18 00:45 316a0377

View on Github →

doc(SetTheory/Ordinal/Arithmetic): improve documentation (#35858) This PR does the following:

  • Use better variable names in the docs (instead of just variants of the letter o).
  • Remove mentions of things defined in other files, or specify that they are defined on other files.

Estimated changes