Theorem TopCat.Presheaf.coveringOfPresieve.iSup_eq_of_mem_grothendieck

Modification history