law not_not

bend-mathlib@0.8.1.0 · bool.bend:4

import Base

4# Negating a boolean twice gives it back.
5law not_not:
6  for b: Bool
7  {Bool.not(Bool.not(b)) == b : Bool}