Theorem Ordinal.isSuccLimit_lift

Modification history