PrintForm
Definitions
relation
autom
Sections
AutomataTheory
Doc
At:
incl
aux3
quo
1
2
1
2
2
1.
n:
{1...}
2.
m:
n
3.
E:
n
n
Prop
4.
EquivRel i,j:
n. i E j
5.
EquivRel i,j:
m. i E j
6.
x:
i,j:
m//(i E j)
7.
y:
i,j:
m//(i E j)
8.
x
i,j:
n//(i E j)
9.
y
i,j:
n//(i E j)
x = y
x = y
i,j:
m//(i E j)
By:
CSquash
Generated subgoal:
1
(x = y
x = y
i,j:
m//(i E j))
About:
(x = y 
x = y 
i,j:
m//(i E j))
