Definitions
bool
1
Doc
At:
assert
of
bnot
p:
.
p
p
By:
Analyze 0
THEN
Analyze 0
Generated subgoals:
1
1.
p:
p
p
2
1.
p:
p
(
p)
p:
. 
p 
p