law or_false_l

minebender-game@1.0.0.0 · proof_base.bend:397

import Base

397law or_false_l:
398  for +b: Bool
399  {Bool.or(False{}, b) == b : Bool}