Theorem DiscreteQuotient.proj_isLocallyConstant

Modification history