• lad
    link
    fedilink
    English
    arrow-up
    1
    ·
    3 hours ago

    Thanks for the link. I expected there would be a problem with triangle inequality but didn’t want to do the actual proving 😅