Def Subring.map

Modification history