{"type":"rich","version":"1.0","title":"allen wrote","author_name":"allen (npub1sf…2ymqt)","author_url":"https://yabu.me/npub1sfhflz2msx45rfzjyf5tyj0x35pv4qtq3hh4v2jf8nhrtl79cavsl2ymqt","provider_name":"njump","provider_url":"https://yabu.me","html":"heine borel and anything relying on compactness fails.\n\nweirdest/coolest result is IVT fails too, which is bizarre because on R continuity is strictly stronger than IVP, but in dense-but-not-complete R that flips."}