Def CommGrp.fullyFaithfulForget₂ToGrp

Modification history