Theorem CategoryTheory.Presieve.isSheaf_sup

Modification history