Theorem CategoryTheory.NatTrans.leftDerived_eq

Modification history