PrintForm Definitions action sets Sections AutomataTheory Doc

At: counter lpower

e:, L:*, n:. ||e:(Ln)|| = n||e:L||
By: UnivCD
Generated subgoal:

11. e:
2. L: *
3. n:
||e:(Ln)|| = n||e:L||

About:
allintlistequalmultiply