Theorem DiscreteQuotient.proj_bot_eq

Modification history