Def Subring.comap

Modification history