src/HOL/Library/Mapping.thy
changeset 68189 6163c90694ef
parent 67399 eab6ce8368fa
child 68782 8ff34c1ad580