Theorem Ordinal.isSuccLimit_mul

Modification history