Definitions
bool
1
Doc
At:
ite
rw
test
n:
, i:{1..n
}.
0 = 0 &
n = 0
False
By:
UnivCD
Generated subgoal:
1
1.
n:
2.
i:
{1..n
}
3.
0 = 0 &
n = 0
False