Theorem TopCat.Presheaf.isSheaf_of_isTerminal_of_indiscrete

Modification history