PrintForm
Definitions
relation
autom
Sections
AutomataTheory
Doc
At:
one
one
corr
symm
1
1
1.
A:
Type
2.
B:
Type
3.
f:
A
B
4.
g:
B
A
5.
InvFuns(A; B; f; g)
InvFuns(B; A; g; f)
By:
BackThru Thm*
f:(A
B), g:(B
A). InvFuns(A; B; f; g)
InvFuns(B; A; g; f)
Generated subgoals:
None
About:
BA
InvFuns(B; A; g; f)
f:(AB), g:(BA). InvFuns(A; B; f; g) 
InvFuns(B; A; g; f)
