Skip to content

refactor(SetTheory/Ordinal): redefine Ordinal.ToType as Shrink (Iio o) - #42925

Open
dennj wants to merge 3 commits into
leanprover-community:masterfrom
dennj:ordinal-totype-shrink
Open

refactor(SetTheory/Ordinal): redefine Ordinal.ToType as Shrink (Iio o)#42925
dennj wants to merge 3 commits into
leanprover-community:masterfrom
dennj:ordinal-totype-shrink

Merge branch 'master' into ordinal-totype-shrink

0d0e966
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Aug 20, 2026 in 7m 21s