agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Odd roots of real numbers

Open lowasser opened this issue 1 month ago • 0 comments

We do something more general, actually, which is show that any strictly increasing, pointwise continuous, unbounded function from ℝ to ℝ is an equivalence.

lowasser avatar Dec 02 '25 03:12 lowasser