PrintForm Definitions action sets Sections AutomataTheory Doc

At: counter append

e:, L,M:*. ||e:L @ M|| = ||e:L||+||e:M||
By: UnivCD
Generated subgoal:

11. e:
2. L: *
3. M: *
||e:L @ M|| = ||e:L||+||e:M||

About:
allintlistequaladd