is mentioned by

Thm* a,b:Collection(T), x:T. x a + b x a x b

[member_col_add]

Try larger context: GenAutomata