def internal_and_not_eq_not_or_not

bend-mathlib@0.8.1.0 · list.bend:2023

import Base

2023def internal_and_not_eq_not_or_not(b: Bool, -s: Bool) -> {Bool.and(b, Bool.not(s)) == Bool.not(Bool.or(Bool.not(b), s)) : Bool}:
2024  match b:
2025    case False{}:
2026      {==}
2027    case True{}:
2028      {==}