Theorem CategoryTheory.Presheaf.compYonedaIsoYonedaCompLan.coconeApp_naturality

Modification history