PrintForm Definitions languages Sections AutomataTheory Doc

At: languages wf 1
1. Alph: Type{i}

LangOver(Alph) Type{i'}
By: Unfold `languages` 0
Generated subgoals:

None

About:
memberuniverse