Step
*
of Lemma
ctt-tokens_wf
No Annotations
ctt-tokens() ∈ Atom List
BY
{ ProveWfLemma }
Latex:
Latex:
No  Annotations
ctt-tokens()  \mmember{}  Atom  List
By
Latex:
ProveWfLemma
Home
Index