Theorem CategoryTheory.Functor.leftDerived_fac

Modification history