PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
div
bounds
2
n:
, x:
(n
n). (x
n) < n
By:
RepD
Generated subgoal:
1
1.
n:
2.
x:
(n
n)
(x
n) < n
About:
(n
n)
(x 
n) < n 
n:, x:(nn). (x n) < n(nn) (x n) < n
