Theorem CategoryTheory.Presheaf.compULiftYonedaIsoULiftYonedaCompLan.hom_ext

Modification history