Theorem MulAction.orbitRel.quotient_eq_of_quotient_subgroup_eq'

Modification history