Theorem LinearOrderedField.smul_Iic

Modification history