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