Theorem CategoryTheory.Functor.leftDerivedNatTrans_id

Modification history