(12steps) PrintForm Definitions Lemmas mb automata 1 Sections GenAutomata Doc

At: apply alist member 1
1. T: Type
2. as: (LabelT) List

d:T, x:Label. (x nil) ( < x,apply_alist(nil;x;d) > nil)
By:
Unfold `l_member` 0
THEN
Reduce 0
THEN
ExRepD
Generated subgoals:

None

About:
pairproductlistniluniverseimpliesall

(12steps) PrintForm Definitions Lemmas mb automata 1 Sections GenAutomata Doc