notnot2 Show Code edit
## Double Negative
thm (notnot2 () () (-> (-. (-. ph)) ph)
ph dn)
(-> (-. (-. ph)) ph)
edit