is mentioned by

Thm* c:Collection(T), f:(TCollection(T')), y:T'. y (xc.f(x)) (x:T. x c & y f(x))

[member_col_accum]

Try larger context: GenAutomata