Theorem CategoryTheory.GradedObject.Monoidal.tensorObj_ext

Modification history