Theorem CategoryTheory.Presheaf.isSheaf_iff_isLimit_pretopology

Modification history