Theorem IsFractionRing.coeSubmodule_le_coeSubmodule

Modification history