law or_false_inv

minebender-game@1.0.0.0 · proof_base.bend:577

import Base

577law or_false_inv:
578  for +a: Bool
579  for +b: Bool
580  for e: {Bool.or(a, b) == False{} : Bool}
581  {a == False{} : Bool}