Theorem CategoryTheory.Presheaf.IsSheaf.existsUnique_amalgamation_ofArrows

Modification history