• stevedice
    link
    fedilink
    English
    arrow-up
    1
    ·
    2 days ago

    That’s more related to a metric but it still can’t be complex valued and it’s still not a measure.