src/HOL/NthRoot.thy
changeset 66010 2f7d39285a1a
parent 65552 f533820e7248
child 66815 93c6632ddf44