Theorem CategoryTheory.Presieve.isSheafFor_top_sieve

Modification history