Theorem CategoryTheory.Presheaf.isLimit_iff_isSheafFor_presieve

Modification history