Theorem CategoryTheory.Functor.leftDerived_map_eq

Modification history