Theorem DiscreteQuotient.proj_surjective

Modification history