PrintForm Definitions exponent Sections AutomataTheory Doc

At: nat mul

n,m:. nm
By: UnivCD
Generated subgoal:

11. n:
2. m:
nm

About:
allmembermultiply