Theorem CategoryTheory.Presheaf.isSheaf_of_iso_iff

Modification history