Theorem Ordinal.mul_lt_mul_iff_left

Modification history