Def CategoryTheory.coyonedaCompUliftFunctorEquiv

Modification history