Theorem Ordinal.principal_mul_of_le_two

Modification history