Theorem Ordinal.isSuccPrelimit_zero

Modification history