PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
rect
enumer
1
3
1
2
1
1
1
3
1
1.
n:
2.
m:
3.
b:
(n
m)
4.
0
(b rem m) & (b rem m) < m
0
(b rem m)
By:
Analyze 4
Generated subgoals:
None
About:
(n
m)
(b rem m) & (b rem m) < m
0(b rem m)
