Theorem CategoryTheory.Presheaf.compYonedaIsoYonedaCompLan.hom_ext

Modification history