Theorem CategoryTheory.GradedObject.Monoidal.tensor_id

Modification history