Nuprl - Pf nat_add 1

PrintForm Definitions exponent Sections AutomataTheory Doc

At: nat add 1

1. n:
2. m:

n+m

By: Analyze 2 THEN Analyze 1 THEN Analyze

Generated subgoals:

None

About: