Nuprl - Pf member dec lookup 2

1. ds: Collection(dec())
2. x: Label
3. T: SimpleType
4. mk_dec(x, T) ds

d:dec(). d ds & d.lbl = x & T = d.typ

By: AutoInstConcl [] THEN Reduce 0 THEN EqLblReflexive 0

Generated subgoals:

None

About: