Theorem MulAction.orbitRel.Quotient.subgroup_quotient_eq_iff

Modification history