Theorem DiscreteQuotient.proj_bot_bijective

Modification history