Theorem MulAction.mem_subgroup_orbit_iff

Modification history