Def Grp.fullyFaithfulForget₂ToMonCat

Modification history