Theorem CategoryTheory.GradedObject.Monoidal.ι_tensorHom

Modification history