Finish proving bolzano-weierstrass stuff. delete the nearest point property material. it's actually a lot of work to prove it, for questionable gain
Finish proving bolzano-weierstrass stuff. delete the nearest point property material. it's actually a lot of work to prove it, for questionable gain

nham/math_notes,nham/math_notes