Commit 2026-03-02 12:12 f5110b6f

View on Github →

chore(SetTheory/Ordinal/Basic): deprecate Ordinal.induction → WellFoundedLT.induction (#35855) (Most of the diff is just changing indentation)

Estimated changes