src/HOL/NthRoot.thy
changeset 66787 64b47495676d
parent 65552 f533820e7248
child 66815 93c6632ddf44