Theorem CategoryTheory.Presheaf.restrictedULiftYonedaHomEquiv'_symm_naturality_right

Modification history