PrintForm
Definitions
choice
1
Sections
AutomataTheory
Doc
At:
min
arg
unique
1
2
1
1.
f:
2.
n:
3.
k:
4.
f(n) = f(k)
5.
k < n
f(k-(k-n)) = f(k)
By:
Assert (k-(k-n) = n)
THEN
RWH (HypC 6) 0
Generated subgoals:
None
About:
k < n
f(k-(k-n)) = f(k)
