Theorem Ordinal.mul_le_of_limit

Modification history