Theorem MulAction.orbitRel.Quotient.mem_subgroup_orbit_iff

Modification history