{"type":"rich","version":"1.0","author_name":"allen (npub1sf…2ymqt)","author_url":"https://nostr.ae/npub1sfhflz2msx45rfzjyf5tyj0x35pv4qtq3hh4v2jf8nhrtl79cavsl2ymqt","provider_name":"njump","provider_url":"https://nostr.ae","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."}