Theorem CategoryTheory.GradedObject.ι_mapBifunctorMapObjDesc

Modification history