src/HOL/Power.thy
changeset 78659 b5f3d1051b13
parent 77140 9a60c1759543
child 79566 f783490c6c99