Theorem Ordinal.isSuccPrelimit_lift

Modification history