Theorem TopCat.Presheaf.isSheaf_on_pUnit_iff_isTerminal

Modification history