def internal_or_false_sym

bend-mathlib@0.8.1.0 · nat.bend:1683

import Base

1683def internal_or_false_sym(x: Bool) -> {x == Bool.or(x, False{}) : Bool}:
1684  match x:
1685    case False{}:
1686      {==}
1687    case True{}:
1688      {==}