law false_ne_true

bend-mathlib@0.8.1.0 · bool.bend:441

import Base

441# False and True are different booleans, the other way round.
442law false_ne_true:
443  {False{} != True{} : Bool}