Theorem CategoryTheory.Presheaf.isSheaf_of_isTerminal

Modification history