Theorem Grp_Class.tensorObj.CategoryTheory.Functor.comp_mapGrp_one

Modification history