Theorem CategoryTheory.Presheaf.coconeOfRepresentable_naturality

Modification history