src/HOL/NthRoot.thy
changeset 46252 9aad9b87354a
parent 44349 f057535311c5
child 49753 a344f1a21211
equal deleted inserted replaced
46251:8fbcbcf4380e 46252:9aad9b87354a