Theorem DiscreteQuotient.proj_bot_inj

Modification history