PrintForm
Definitions
relation
autom
Sections
AutomataTheory
Doc
At:
rest
symm
rel
n:{1...}, m:
n, E:(
n
n
Prop). Sym x,y:
n. x E y
Sym x,y:
m. x E y
By:
UnivCD
Generated subgoal:
1
1.
n:
{1...}
2.
m:
n
3.
E:
n
n
Prop
4.
Sym x,y:
n. x E y
Sym x,y:
m. x E y
About:
nn
nPropn. x E y
Sym x,y:m. x E y 
n:{1...}, m:n, E:(nnProp). Sym x,y:n. x E y 
Sym x,y:m. x E ynnnPropn. x E y Sym x,y:m. x E y
