Theorem DiscreteQuotient.proj_continuous

Modification history