Fix ratPow_mono_of_lt_one to match Lemma 5.6.9(e)#446

teorth merged 1 commit intoteorth:mainteorth/analysis:mainfrom

rkirov:fix-ratPow-mono-lt-one-typorkirov/analysis:fix-ratPow-mono-lt-one-typoCopy head branch name to clipboard