PrintForm Definitions exponent Sections AutomataTheory Doc

At: list 1 1 nat

q:. (q*) ~
By: Analyze 0
Generated subgoal:

11. q:
(q*) ~

About:
alllistnatural_number