Theorem CategoryTheory.Functor.triangle

Modification history