# Generated by tools/translator: qualified upstream name -> MoonBit name.
CARD_EVEN_PERMUTATIONS card_even_permutations
CARD_PERMUTATIONS card_permutations
EVENPERM_COMPOSE evenperm_compose
EVENPERM_CYCLIC evenperm_cyclic
EVENPERM_CYCLIC_N evenperm_cyclic_n
EVENPERM_I evenperm_i
EVENPERM_ID evenperm_id
EVENPERM_INVERSE evenperm_inverse
EVENPERM_SWAP evenperm_swap
EVENPERM_TRANSFER evenperm_transfer
EVENPERM_UNIQUE evenperm_unique
FINITE_PERMUTATIONS finite_permutations
FIXING_SWAPSEQ_DECREASE fixing_swapseq_decrease
HAS_SIZE_PERMUTATIONS has_size_permutations
IMAGE_COMPOSE_PERMUTATIONS_L image_compose_permutations_l
IMAGE_COMPOSE_PERMUTATIONS_R image_compose_permutations_r
IMAGE_INVERSE_PERMUTATIONS image_inverse_permutations
INJECTIVE_INVERSE injective_inverse
INJECTIVE_INVERSE_o injective_inverse_o
INVERSE_I inverse_i
INVERSE_SWAP inverse_swap
INVERSE_UNIQUE_ALT inverse_unique_alt
INVERSE_UNIQUE_o inverse_unique_o
INVOLUTION_MOVES_2_IS_SWAP involution_moves_2_is_swap
INVOLUTION_SIZE_2_IS_SWAP involution_size_2_is_swap
ITERATE_PERMUTE iterate_permute
NSUM_PERMUTE nsum_permute
NSUM_PERMUTE_NUMSEG nsum_permute_numseg
PERMSET_CONV permset_conv
PERMUTATION permutation_v1
PERMUTATION_BIJECTIVE permutation_bijective
PERMUTATION_COMPOSE permutation_compose
PERMUTATION_COMPOSE_EQ permutation_compose_eq
PERMUTATION_COMPOSE_SWAP permutation_compose_swap
PERMUTATION_CYCLIC permutation_cyclic
PERMUTATION_CYCLIC_N permutation_cyclic_n
PERMUTATION_FINITE_SUPPORT permutation_finite_support
PERMUTATION_I permutation_i
PERMUTATION_INVERSE permutation_inverse
PERMUTATION_INVERSE_COMPOSE permutation_inverse_compose
PERMUTATION_INVERSE_WORKS permutation_inverse_works
PERMUTATION_LEMMA permutation_lemma
PERMUTATION_PERMUTES permutation_permutes
PERMUTATION_RESTRICT permutation_restrict
PERMUTATION_SWAP permutation_swap
PERMUTES_ALT permutes_alt
PERMUTES_BIJECTIONS permutes_bijections
PERMUTES_CARTESIAN_PRODUCT permutes_cartesian_product
PERMUTES_COMPOSE permutes_compose
PERMUTES_CYCLIC permutes_cyclic
PERMUTES_CYCLIC_N permutes_cyclic_n
PERMUTES_EMPTY permutes_empty
PERMUTES_FINITE_INJECTIVE permutes_finite_injective
PERMUTES_FINITE_SURJECTIVE permutes_finite_surjective
PERMUTES_I permutes_i
PERMUTES_ID permutes_id
PERMUTES_IMAGE permutes_image
PERMUTES_INDUCT permutes_induct
PERMUTES_INDUCT_STRONG permutes_induct_strong
PERMUTES_INJECTIVE permutes_injective
PERMUTES_INSERT permutes_insert
PERMUTES_INSERT_LEMMA permutes_insert_lemma
PERMUTES_INVERSE permutes_inverse
PERMUTES_INVERSES permutes_inverses
PERMUTES_INVERSES_o permutes_inverses_o
PERMUTES_INVERSE_EQ permutes_inverse_eq
PERMUTES_INVERSE_FUNCTION permutes_inverse_function
PERMUTES_INVERSE_INVERSE permutes_inverse_inverse
PERMUTES_INVOLUTION permutes_involution
PERMUTES_IN_IMAGE permutes_in_image
PERMUTES_IN_NUMSEG permutes_in_numseg
PERMUTES_NUMSET_GE permutes_numset_ge
PERMUTES_NUMSET_LE permutes_numset_le
PERMUTES_RESTRICT permutes_restrict
PERMUTES_RESTRICT_SET permutes_restrict_set
PERMUTES_SING permutes_sing
PERMUTES_SUBSET permutes_subset
PERMUTES_SUPERSET permutes_superset
PERMUTES_SURJECTIVE permutes_surjective
PERMUTES_SWAP permutes_swap
PERMUTES_THREE_CYCLE permutes_three_cycle
PERMUTES_TRANSFER permutes_transfer
PERMUTES_TRANSFER_BIJECTIONS permutes_transfer_bijections
PERMUTES_UNIV permutes_univ
REAL_ABS_SIGN real_abs_sign
REAL_SGN_SIGN real_sgn_sign
RESTRICT_COMPOSE restrict_compose
RESTRICT_I restrict_i
RESTRICT_INVERSE restrict_inverse
RESTRICT_PERMUTES_SUBSET restrict_permutes_subset
RESTRICT_SWAP restrict_swap
SIGN_CARTESIAN_PRODUCT sign_cartesian_product
SIGN_COMPOSE sign_compose
SIGN_CYCLIC sign_cyclic
SIGN_CYCLIC_N sign_cyclic_n
SIGN_I sign_i
SIGN_ID sign_id
SIGN_IDEMPOTENT sign_idempotent
SIGN_INVERSE sign_inverse
SIGN_INVOLUTION sign_involution
SIGN_NZ sign_nz
SIGN_SWAP sign_swap
SIGN_TRANSFER sign_transfer
SUM_OVER_PERMUTATIONS_INSERT sum_over_permutations_insert
SUM_OVER_PERMUTATIONS_NUMSEG sum_over_permutations_numseg
SUM_PERMUTATIONS_COMPOSE_L sum_permutations_compose_l
SUM_PERMUTATIONS_COMPOSE_R sum_permutations_compose_r
SUM_PERMUTATIONS_INVERSE sum_permutations_inverse
SUM_PERMUTE sum_permute
SUM_PERMUTE_NUMSEG sum_permute_numseg
SURJECTIVE_INVERSE surjective_inverse
SURJECTIVE_INVERSE_o surjective_inverse_o
SWAPSEQ_COMPOSE swapseq_compose
SWAPSEQ_ENDSWAP swapseq_endswap
SWAPSEQ_EVEN_EVEN swapseq_even_even
SWAPSEQ_I swapseq_i
SWAPSEQ_IDENTITY_EVEN swapseq_identity_even
SWAPSEQ_INVERSE swapseq_inverse
SWAPSEQ_INVERSE_EXISTS swapseq_inverse_exists
SWAPSEQ_SWAP swapseq_swap
SWAP_COMMON swap_common
SWAP_COMMON' swap_common_p
SWAP_CONJUGATE swap_conjugate
SWAP_GALOIS swap_galois
SWAP_GENERAL swap_general
SWAP_IDEMPOTENT swap_idempotent
SWAP_INDEPENDENT swap_independent
SWAP_LEFT swap_left
SWAP_OTHER swap_other
SWAP_REFL swap_refl
SWAP_RIGHT swap_right
SWAP_SYM swap_sym
SWAP_TRIPLE swap_triple
SWAP_TRIPLE_ALT swap_triple_alt
SYMMETRY_LEMMA symmetry_lemma
THREE_CYCLE_AS_COMMUTATOR three_cycle_as_commutator
THREE_CYCLE_COMMUTATOR three_cycle_commutator
THREE_CYCLE_COMPOSE_REVERSE three_cycle_compose_reverse
THREE_CYCLE_INVERSE three_cycle_inverse
THREE_CYCLE_NOT_I three_cycle_not_i
evenperm evenperm
inverse inverse
permutation permutation
permutes permutes
sign sign
swap swap
swapseq_CASES swapseq_cases
swapseq_INDUCT swapseq_induct
swapseq_RULES swapseq_rules
three_cycle three_cycle
