Commit 2024-08-16 13:44 e6104825
View on Github →chore(SetTheory/Ordinal/NaturalOps): cleanup termination_by (#15745)
We simplify some of the proofs and definitions that use termination_by
by moving the arguments before the colon.
The diff might seem large, but all I really did besides that was reindent proofs.