PrintForm
Definitions
relation
autom
Sections
AutomataTheory
Doc
At:
one
one
corr
refl
A:Type. A ~ A
By:
UnivCD
Generated subgoal:
1
1.
A:
Type
A ~ A
About:
A ~ A 
A:Type. A ~ A A ~ A
