PrintForm Definitions action sets Sections AutomataTheory Doc

At: factorial wf

n:. (n)!
By: Analyze 0
Generated subgoal:

11. n:
(n)!

About:
allmember