Nuprl - Pf el_counter_wf 1 1

PrintForm Definitions action sets Sections AutomataTheory Doc

At: el counter wf 1 1

1. n:
2. L: *

||n:nil||

By: RecCaseSplit `el_counter` THEN Analyze 3 THEN Reduce 0

Generated subgoals:

None

About: