Theorem CategoryTheory.Functor.leftDerived_ext

Modification history