law not_true

minebender-game@1.0.0.0 · proof_base.bend:601

import Base

601law not_true:
602  for +b: Bool
603  for e: {Bool.not(b) == True{} : Bool}
604  {b == False{} : Bool}