• cockmushroom@reddthat.com
    link
    fedilink
    English
    arrow-up
    4
    ·
    7 months ago

    The point is not that ∀s∈S∃f(s) and g(s) | f(s)∈[0,1] and g(s)∈[0,1], it’s that ∀y∈[0,1]∃h(y)∈S

    • MinnesotaGoddam@lemmy.world
      link
      fedilink
      English
      arrow-up
      2
      ·
      7 months ago

      you know you finally demonstrated a reasonable use for the keys on the number row (i prefer tenkey for numbers anyways) and coding in logic ascii would be perfect. i just need to make myself some keycaps. and the library with the 3d printer is just a 7 hour bikeride away…