src/HOL/Power.thy
changeset 45802 b16f976db515
parent 45231 d85a2fdc586c
child 47191 ebd8c46d156b