def internal_or_true_sym

bend-mathlib@0.8.1.0 · nat.bend:1676

import Base

1676def internal_or_true_sym(x: Bool) -> {True{} == Bool.or(x, True{}) : Bool}:
1677  match x:
1678    case False{}:
1679      {==}
1680    case True{}:
1681      {==}