Expii

Extension: Bolzano-Weierstrass Proof of Extreme Value Theorem - Expii