agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard
verified publisher icon UniMath

Rational powers of positive real numbers

Open lowasser opened this issue 1 month ago • 0 comments

lowasser avatar Dec 03 '25 03:12 lowasser