Def Grp_Class.tensorObj.CategoryTheory.Functor.mapGrpNatTrans

Modification history