src/HOL/Library/Permutations.thy
changeset 49083 01081bca31b6
parent 45922 63cc69265acf
child 49739 13aa6d8268ec