src/HOL/Library/NthRoot_Limits.thy
2014-05-20 hoelzl 2014-05-20 add various lemmas