powere_pos lemmas#969

proux01 merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:exp_20230706affeldt-aist/analysis:exp_20230706Copy head branch name to clipboard