law or_false_r

minebender-game@1.0.0.0 · proof_base.bend:727

import Base

727law or_false_r:
728  for +a: Bool
729  {Bool.or(a, False{}) == a : Bool}