src/HOL/NthRoot.thy
changeset 42230 594480d25aaa
parent 35216 7641e8d831d2
child 44289 d81d09cdab9c