src/HOL/Library/Mapping.thy
changeset 51288 be7e9a675ec9
parent 51161 6ed12ae3b3e1
child 51375 d9e62d9c98de