Theorem CategoryTheory.Functor.leftDerivedNatTrans_app

Modification history