def and_true

bend-collections-laws-math@1.0.0.0 · proofs/math/number/prime.bend:72

import Base

72def and_true(+b: Bool) -> {Bool.and(b, True{}) == b : Bool}:
73  match b:
74    case False{}:
75      {==}
76    case True{}:
77      {==}