law and_false_r

minebender-game@1.0.0.0 · proof_base.bend:386

import Base

386law and_false_r:
387  for +a: Bool
388  {Bool.and(a, False{}) == False{} : Bool}