Theorem IsFractionRing.coeSubmodule_strictMono

Modification history