Theorem CategoryTheory.Functor.isTriangulated_of_op

Modification history