generic lemmas from the prob_lang PR#1583

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

affeldt-aist:prob_lang_lemmasaffeldt-aist/analysis:prob_lang_lemmasCopy head branch name to clipboard