src/HOL/NthRoot.thy
changeset 76371 1ac2416e8432
parent 70722 ae2528273eeb
child 78127 24b70433c2e8