Theorem CategoryTheory.GradedObject.Monoidal.tensorObj₄_ext

Modification history