Theorem CategoryTheory.Presheaf.map_comp_uliftYonedaEquiv_down

Modification history