mb label Sections GenAutomata Doc

Def x ls == reduce(a,b. x = a b;false;ls)

is mentioned by

Thm* x:Label, ls:Label List. x ls (x ls)[assert_lbls_member]

Try larger context: GenAutomata

mb label Sections GenAutomata Doc