Nuprl - Pf fun_enumer 1 1 2 1 1 1 1 1 2 1

PrintForm Definitions exponent Sections AutomataTheory Doc

At: fun enumer 1 1 2 1 1 1 1 1 2 1

1. n:
2. a1: 0n
3. a2: 0n

0 < (n0)

By: RecCaseSplit `exp`

Generated subgoals:

None

About: