Theorem LinearOrderedField.smul_Icc

Modification history