PrintForm
relation
autom
Sections
AutomataTheory
Doc
At:
preima
of
equiv
rel
1
1
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
(f(a)) R (f(a))
By:
BackThru 5
Generated subgoals:
None
About:
B
a:B. a R a
(b R a)
(f(a)) R (f(a))