Theorem CategoryTheory.Presheaf.compYonedaIsoYonedaCompLan.presheafHom_naturality

Modification history