Theorem CategoryTheory.GradedObject.Monoidal.tensorHom_def

Modification history