Theorem CategoryTheory.GradedObject.Monoidal.left_tensor_tensorObj₃_ext

Modification history