Def CommRing.forget_to_CommMon

Modification history