Def CategoryTheory.Presieve.preservesTerminalOfIsSheafForEmpty

Modification history