Theorem NoZeroSMulDivisors.of_field_isFractionRing

Modification history