3 lines
33 B
Text
3 lines
33 B
Text
|
DEFINE ! == [1] [*] primrec.
|
||
|
|
6!.
|