src/HOL/NthRoot.thy
changeset 48764 4fe0920d5049
parent 44349 f057535311c5
child 49753 a344f1a21211
equal deleted inserted replaced
48763:de68fc11c245 48764:4fe0920d5049