Theorem CategoryTheory.Presieve.isSheaf_iso

Modification history