Theorem LinearOrderedField.smul_Iio

Modification history