Def TopCommRing.forget_to_CommRing

Modification history