PrintForm
Definitions
relation
autom
Sections
AutomataTheory
Doc
At:
rest
tran
rel
1
1
1.
n:
{1...}
2.
m:
n
3.
E:
n
n
Prop
4.
Trans x,y:
n. x E y
5.
a:
m
b,c:
m. (a E b)
(b E c)
(a E c)
By:
UnivCD
THEN
Unfold `trans` 4
Generated subgoal:
1
4.
a,b,c:
n. (a E b)
(b E c)
(a E c)
5.
a:
m
6.
b:
m
7.
c:
m
8.
a E b
9.
b E c
a E c
About:
a,b,c:
n. (a E b) 
(b E c) (a E c)mmm
a E cnn
nPropn. x E ym b,c:m. (a E b) (b E c) (a E c)a,b,c:n. (a E b) (b E c) (a E c)mmm a E c
