# Generated by tools/translator: qualified upstream name -> MoonBit name.
ALL_TRANSPOSITIONS_GENERATE_SYMMETRIC all_transpositions_generate_symmetric
CARD_SYMMETRIC_GROUP card_symmetric_group
CAYLEY_THEOREM cayley_theorem
CAYLEY_THEOREM_EXPLICIT cayley_theorem_explicit
CHAIN_STEP_THREE_CYCLES_GEN chain_step_three_cycles_gen
FINITE_SYMMETRIC_GROUP finite_symmetric_group
NOT_SOLVABLE_SYMMETRIC_GROUP not_solvable_symmetric_group
POINT_TRANSPOSITIONS_GENERATE_ALL point_transpositions_generate_all
PRIME_ORDER_PERM_NO_FIXPOINT prime_order_perm_no_fixpoint
PRIME_ORDER_PERM_ORBIT prime_order_perm_orbit
PRIME_ORDER_POW_PERM prime_order_pow_perm
RESTRICT_SYMMETRIC_GROUP_HOMOMORPHISM restrict_symmetric_group_homomorphism
SUBGROUP_RESTRICT_PERMUTES subgroup_restrict_permutes
SWAP_CONJUGATE_IN_SUBGROUP swap_conjugate_in_subgroup
SWAP_IN_SYMMETRIC_GROUP swap_in_symmetric_group
SYMMETRIC_GROUP symmetric_group_v1
SYMMETRIC_GROUP_ACTION symmetric_group_action
SYMMETRIC_GROUP_ID symmetric_group_id
SYMMETRIC_GROUP_INV symmetric_group_inv
SYMMETRIC_GROUP_MUL symmetric_group_mul
SYMMETRIC_GROUP_POW symmetric_group_pow
SYMMETRIC_GROUP_POW_IN symmetric_group_pow_in
THREE_CYCLE_IN_SYMMETRIC three_cycle_in_symmetric
TRANSITIVE_TRANSPOSITION_GENERATES_SYMMETRIC transitive_transposition_generates_symmetric
TRANSPOSITION_PCYCLE_GENERATES transposition_pcycle_generates
symmetric_group symmetric_group
