Add missing (hx : x > 0) hypothesis to rpow_eq_rpow#447

teorth merged 1 commit intoteorth:mainteorth/analysis:mainfrom

rkirov:fix-rpow-eq-rpow-hypothesisrkirov/analysis:fix-rpow-eq-rpow-hypothesisCopy head branch name to clipboard