Theorem CategoryTheory.Presheaf.restrictedULiftYonedaHomEquiv'_symm_app_naturality_left

Modification history