Theorem TopCat.Presheaf.isSheaf_on_punit_of_isTerminal

Modification history