PrintForm Definitions exponent Sections AutomataTheory Doc

At: exp wf

n,k:. (nk)
By: UnivCD
Generated subgoal:

11. n:
2. k:
(nk)

About:
allmemberint