Theorem CategoryTheory.Functor.isTriangulated_op

Modification history