Theorem Ordinal.isLimit_mul_left

Modification history