Theorem Ordinal.isLimit_mul

Modification history