src/HOL/Library/Permutations.thy
changeset 43922 c6f35921056e
parent 41959 b460124855b8
child 44227 78e033e8ba05