def internal_and_false_sym

bend-mathlib@0.8.1.0 · nat.bend:2442

import Base

2442def internal_and_false_sym(x: Bool) -> {False{} == Bool.and(x, False{}) : Bool}:
2443  match x:
2444    case False{}:
2445      {==}
2446    case True{}:
2447      {==}