Theorem CategoryTheory.Presheaf.isSheaf_iff_multifork

Modification history