• Thoth19@lemmy.world
    link
    fedilink
    arrow-up
    1
    ·
    6 months ago

    I mean it is the definition of “if and only if”. And by commutativity we also know that A iff B is equal to B iff A