Theorem CategoryTheory.Functor.leftDerivedNatTrans_fac

Modification history