Def CategoryTheory.Presheaf.compYonedaIsoYonedaCompLan.coconeApp

Modification history