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