a few lemmas about extended reals' arithmetic#208

CohenCyril merged 1 commit intomastermath-comp/analysis:masterfrom

ereal_arithmeticmath-comp/analysis:ereal_arithmeticCopy head branch name to clipboard