Theorem CategoryTheory.GradedObject.Monoidal.ι_tensorObjDesc

Modification history