def internal_or_of_right

bend-mathlib@0.8.1.0 · list.bend:711

import Base

711def internal_or_of_right(a: Bool, -b: Bool, hb: {b == True{} : Bool}) -> {Bool.or(a, b) == True{} : Bool}:
712  match a:
713    case False{}:
714      hb
715    case True{}:
716      {==}