src/HOL/Library/Permutations.thy
changeset 45802 b16f976db515
parent 44227 78e033e8ba05
child 45922 63cc69265acf