Theorem TopCat.Presheaf.mono_iff_stalk_mono

Modification history