• howrar@lemmy.ca
    link
    fedilink
    arrow-up
    4
    ·
    1 day ago

    This holds when + is a group operation (concatenation) acting on the set of all possible finite strings.