expe lemmas#1604

affeldt-aist merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

hoheinzollern:expe_lemmashoheinzollern/analysis:expe_lemmasCopy head branch name to clipboard