• davidagain@lemmy.world
      link
      fedilink
      English
      arrow-up
      1
      ·
      edit-2
      11 hours ago

      Only works for a smooth curve with a neighbourhood around it. I think you need the transverse regular theorem or something.

    • erin (she/her)
      link
      fedilink
      English
      arrow-up
      6
      ·
      19 hours ago

      This isn’t a rigorous mathematic proof that would prove that it holds true in every case. You aren’t wrong, but this is a colloquial definition of proof, not a mathematical proof.

      • humblebun@sh.itjust.works
        link
        fedilink
        English
        arrow-up
        1
        ·
        18 hours ago

        Sorry, I’ve spent too much of my earthly time on reading and writing formal proofs. I’m not gonna write it now, but I will insist that it’s easy

        • erin (she/her)
          link
          fedilink
          English
          arrow-up
          1
          ·
          18 hours ago

          Oh trust me, I believe you. Especially using modern set theory and not the Principia Mathematica.