agda-unimath
agda-unimath copied to clipboard
Odd roots of real numbers
We do something more general, actually, which is show that any strictly increasing, pointwise continuous, unbounded function from ℝ to ℝ is an equivalence.