law not_false

minebender-game@1.0.0.0 · proof_base.bend:613

import Base

613law not_false:
614  for +b: Bool
615  for e: {Bool.not(b) == False{} : Bool}
616  {b == True{} : Bool}