menu

Transposition
Stirling
Permutations
List_Permutation
Multiset_Permutations
Cycles
Perm
Orbits
Combinatorics

HOL-Combinatorics.List_Permutation

HTML Presentation