PrintForm Definitions choice 1 Sections AutomataTheory Doc

At: min ar wf 1 2
1. f:
2. n:
3. f(n-0) = f(n)

MinAr(f;-1;n) 1
By:
Assert (n-0 = n)
THEN
HypSubst 4 3
THEN
Analyze 3
Generated subgoals:

None

About:
membernatural_numberminusequalsubtractfunctionboolapply