Theorem FaithfulSMul.of_field_isFractionRing

Modification history