Theorem Ordinal.mul_isLimit_left

Modification history