PrintForm Definitions action sets Sections AutomataTheory Doc

At: factorial wf 1 1

(0)!
By: Auto
Generated subgoals:

1 (0)!
2 0(0)!

About:
membernatural_numberint