Theorem TopCat.Presheaf.isSheaf_on_pUnit_of_isTerminal

Modification history