IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
cons member21 1. T : Type
2. l : T List
3. a : T 4. x : T 5. x = a i:. i<||[a / l]|| & x = [a / l][i]
By:
InstConcl [0] THEN Reduce 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
i:
. i<||[a / l]|| & x = [a / l][i]
