Bolzano weierstrass#1787

affeldt-aist wants to merge 4 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:bolzano-weierstrassaffeldt-aist/analysis:bolzano-weierstrassCopy head branch name to clipboard