Theorem CategoryTheory.NatTrans.rightDerived_eq

Modification history