Def CategoryTheory.Presheaf.compULiftYonedaIsoULiftYonedaCompLan.presheafHom

Modification history