Theorem CategoryTheory.Functor.leftDerivedNatTrans_comp

Modification history