At: apply alist member2 1
1. T: Type
2. as: (Label
T) List
d1,d2:T, x:Label. (x 
1of(unzip(nil))) 
apply_alist(nil;x;d1) = apply_alist(nil;x;d2)
By:
Unfold `unzip` 0
THEN
Reduce 0
THEN
Unfold `l_member` 0
THEN
Reduce 0
THEN
ExRepD
Generated subgoals:None
About:
