PrintForm Definitions exponent Sections AutomataTheory Doc

At: list 1 1 nat 1 1 1 2 1 1 1

1. q:
2. b:
3. l: q*
4. enum(l) = b

a:q*. enum(a) = b

By: Witness l

Generated subgoal:

1 enum(l) = b


About:
existslistnatural_numberequalint