src/HOL/Power.thy
changeset 66831 29ea2b900a05
parent 65057 799bbbb3a395
child 66912 a99a7cbf0fb5