law not_not_sym

bend-mathlib@0.8.1.0 · bool.bend:536

import Base

536# Negating a boolean twice gives it back, reversed to rewrite toward the simple side.
537law not_not_sym:
538  for b: Bool
539  {b == Bool.not(Bool.not(b)) : Bool}