Theorem CategoryTheory.Presheaf.isLimit_iff_isSheafFor

Modification history