Def CategoryTheory.Presieve.isTerminal_of_isSheafFor_empty_presieve

Modification history