PrintForm Definitions mb automata 1 Sections GenAutomata Doc

At: apply alist nil

d:Top, l:Label. apply_alist(nil;l;d) ~ d
By:
UnivCD
THEN
Unfold `apply_alist` 0
THEN
Unfold `find` 0
THEN
Reduce 0
Generated subgoals:

None

About:
nilsqequaltopall

PrintForm Definitions mb automata 1 Sections GenAutomata Doc