Theorem DiscreteQuotient.eq_of_forall_proj_eq

Modification history