Theorem CategoryTheory.Presieve.isSheaf_pretopology

Modification history