Theorem Ordinal.mul_le_mul_iff_left

Modification history