Def CategoryTheory.Presheaf.compULiftYonedaIsoULiftYonedaCompLan.coconeApp

Modification history