PrintForm
Definitions
mb
collection
Sections
GenAutomata
Doc
At:
member
col
add
T:Type, a,b:Collection(T), x:T. x
a + b
x
a
x
b
By:
RW ColMemberC 0
Generated subgoals:
None
About:
PrintForm
Definitions
mb
collection
Sections
GenAutomata
Doc
T:Type, a,b:Collection(T), x:T. x 
a + b 
x a 
x b