Theorem IsFractionRing.coeSubmodule_injective

Modification history