Theorem TopCat.Presheaf.presieveOfCovering.mem_grothendieckTopology

Modification history