Theorem CategoryTheory.Functor.op_isTriangulated_iff

Modification history