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

PrintForm Definitions exponent Sections AutomataTheory Doc

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

1. n:
2. 0n
3. b:
4. 0b
5. b < 1

0 < (n0)

By: RecCaseSplit `exp`

Generated subgoals:

None

About: