notnoti Show Code edit
## Double Negative
thm (notnoti () (1 ph) (-. (-. ph))
1 dnri)
(-. (-. ph))
edit