Theorem CategoryTheory.GradedObject.Monoidal.tensor_comp

Modification history