Theorem Ordinal.isSuccLimit_iff

Modification history