src/HOL/NthRoot.thy
changeset 47988 e4b69e10b990
parent 44349 f057535311c5
child 49753 a344f1a21211