Library Coq.Reals.Sqrt_reg
sqrt is continuous in 1
sqrt is continuous forall x>0
sqrt is derivable for all x>0
We show that sqrt is continuous for all x>=0 Remark : by definition of sqrt (as extension of Rsqrt on |R),
we could also show that sqrt is continuous for all x