• Thoth19@lemmy.world
      link
      fedilink
      arrow-up
      1
      ·
      7 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