mb automata 4 Sections GenAutomata Doc

Def col_list_prod(l)(x) == ||x|| = ||l|| & (i:. i < ||x|| x[i] l[i])

is mentioned

In prior sections: mb collection mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc