Nuprl - Pf min_ar_wf 1 1

PrintForm Definitions choice 1 Sections AutomataTheory Doc

At: min ar wf 1 1

1. f:
2. n:
3. f(n-0) = f(n)

0 1

By: Assert (n-0 = n) THEN HypSubst 4 3 THEN Analyze 3

Generated subgoals:

None

About: