Theorem CategoryTheory.Presheaf.isSheaf_iff_multiequalizer

Modification history