PrintForm Definitions myhill nerode Sections AutomataTheory Doc

At: nxn plus 1 ge 0

n:. nn+1
By: UnivCD
Generated subgoal:

11. n:
nn+1

About:
allmemberaddmultiplynatural_number