Logipedia
Modules
About
FAQ
Search
Search
permutation.permut
permutation.f_invert_permut
permutation.permut_invert_permut
permutation.injective_invert_permut
permutation.let_clause_1068
permutation.let_clause_1063
permutation.invert_permut_f
permutation.sym_eq_invert_permut_body_S
permutation.eq_invert_permut_body_S
permutation.axiom_invert_permut_body_S
permutation.sym_eq_invert_permut_body_O
permutation.eq_invert_permut_body_O
permutation.axiom_invert_permut_body_O
permutation.sym_eq_invert_permut
permutation.eq_invert_permut
permutation.axiom_invert_permut
permutation.invert_permut_body
permutation.invert_permut
permutation.permut_to_bijn
permutation.bijn_transpose
permutation.bijn_fg
permutation.bijn_n_Sn
permutation.eq_to_bijn
permutation.bijn
permutation.permut_S_to_permut_transpose
permutation.injective_transpose
permutation.transpose_transpose
permutation.transpose_i_j_j_i
permutation.transpose_i_j_j
permutation.transpose_i_j_i
permutation.transpose
permutation.injn_Sn_n
permutation.injn