minor generalizations, renaming#985

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

affeldt-aist:sequences_20230719affeldt-aist/analysis:sequences_20230719Copy head branch name to clipboard