Theorem LinearOrderedField.inducedMap_mono

Modification history