Theorem CategoryTheory.GradedObject.Monoidal.id_tensorHom_id

Modification history