Theorem TopCat.Presheaf.stalk_mono_of_mono

Modification history