Def RingEquiv.subringCongr

Modification history