def internal_or_not_eq_not_and_not

bend-mathlib@0.8.1.0 · list.bend:2052

import Base

2052def internal_or_not_eq_not_and_not(b: Bool, -s: Bool) -> {Bool.or(b, Bool.not(s)) == Bool.not(Bool.and(Bool.not(b), s)) : Bool}:
2053  match b:
2054    case False{}:
2055      {==}
2056    case True{}:
2057      {==}