Theorem TopCat.Presheaf.isSheaf_iff_isTerminal_of_indiscrete

Modification history