law or_false_r

lawful-words@0.1.0.0 · proof_nat.bend:54

import Base

54law or_false_r:
55  for +a: Bool
56  {Bool.or(a, False{}) == a : Bool}