PrintForm Definitions mb automata 3 Sections GenAutomata Doc

At: col subst wf 2

c:(LabelCollection(Term)), r:rel(). col_subst(c;r) Collection(rel())
By: Fold `pred` 0
Generated subgoals:

None

About:
functionmemberall

PrintForm Definitions mb automata 3 Sections GenAutomata Doc