Definitions
bool
1
Doc
At:
ite
rw
test
1
1.
n:
2.
i:
{1..n
}
3.
0 = 0 &
n = 0
False
By:
SupInf
Generated subgoals:
None
}
0 = 0 & n = 0
False