HOL-Combinatorics

Transposition

Stirling

Permutations

List_Permutation

Multiset_Permutations

Cycles

Perm

Orbits

Combinatorics