Theorem CategoryTheory.GradedObject.HasGoodTrifunctor₁₂Obj.hasMap

Modification history