fixes #1123 (unusable lemma)#1124

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

affeldt-aist:fixes_1123affeldt-aist/analysis:fixes_1123Copy head branch name to clipboard