PrintForm
Definitions
mb
collection
Sections
GenAutomata
Doc
At:
col
equal
functionality
T:Type, a1,b1,a2,b2:Collection(T). a1 = b1
a2 = b2
(a1 = a2
b1 = b2)
By:
UnivCD
THEN
RelRST
Generated subgoals:
None
About:
PrintForm
Definitions
mb
collection
Sections
GenAutomata
Doc
T:Type, a1,b1,a2,b2:Collection(T). a1 = b1 
a2 = b2 (a1 = a2 
b1 = b2)