law and_false_r

lawful-words@0.1.0.0 · proof_nat.bend:43

import Base

43law and_false_r:
44  for +a: Bool
45  {Bool.and(a, False{}) == False{} : Bool}