Fix Riemann rearrangement scaffold (Theorem 8.2.8)#467

teorth merged 1 commit intoteorth:mainteorth/analysis:mainfrom

rkirov:fix-riemann-scaffoldrkirov/analysis:fix-riemann-scaffoldCopy head branch name to clipboard