Theorem CategoryTheory.ObjectProperty.ext_of_isTriangulatedClosed₁'

Modification history