Session MuchAdoAboutTwo
View
theory dependencies
View
document
View
outline
Theories
HOL-Combinatorics.Transposition
HOL-Combinatorics.Permutations
MuchAdoAboutTwo