Theorem CategoryTheory.Functor.leftDerived_fac_app

Modification history