Def CommRing.forget

Modification history