Fix abs_finite_series_le signature and add Exercise 7.1.6/7.1.7 state…#448

teorth merged 1 commit intoteorth:mainteorth/analysis:mainfrom

rkirov:upstream-statement-fixesrkirov/analysis:upstream-statement-fixesCopy head branch name to clipboard