Theorem DiscreteQuotient.proj_bot_injective

Modification history