• howrar@lemmy.ca
    link
    fedilink
    arrow-up
    3
    ·
    5 hours ago

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