PrintForm
relation
autom
Sections
AutomataTheory
Doc
At:
preima
of
equiv
rel
1
2
1.
A:
Type
2.
B:
Type
3.
f:
A
B
4.
R:
B
B
Prop
5.
a:B. a R a
6.
a,b:B. (a R b)
(b R a)
7.
a,b,c:B. (a R b)
(b R c)
(a R c)
8.
a:
A
9.
b:
A
10.
(f(a)) R (f(b))
(f(b)) R (f(a))
By:
BackThru 6
Generated subgoals:
None
About:
B
a:B. a R a
(b R a)
(f(b)) R (f(a))