PrintForm
Definitions
mb
collection
Sections
GenAutomata
Doc
At:
member
col
accum
T,T':Type, c:Collection(T), f:(T
Collection(T')), y:T'. y
(
x
c.f(x))
(
x:T. x
c & y
f(x))
By:
RW ColMemberC 0
Generated subgoals:
None
About:
PrintForm
Definitions
mb
collection
Sections
GenAutomata
Doc
T,T':Type, c:Collection(T), f:(T
Collection(T')), y:T'.
y 
(
xc.f(x)) 
(
x:T. x c & y f(x))