Def AlgEquiv.ofRingEquiv

Modification history