law not_not

minebender-game@1.0.0.0 · proof_base.bend:56

import Base

56law not_not:
57  for +b: Bool
58  {Bool.not(Bool.not(b)) == b : Bool}