generalize indexing in lemmas for series#1397

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

t6s:gen_seqt6s/analysis:gen_seqCopy head branch name to clipboard