Theorem CategoryTheory.Presieve.isSheaf_bot

Modification history