Theorem TopCat.Presheaf.app_surjective_of_injective_of_locally_surjective

Modification history