Quiz (1 point)
Prove that:
value at 0 in map [ entry 0: (pair ("if", True)), [ ] ] = pair ("if", True)
The following properties may be helpful:
- value at key in map [ entry key: value, remaining ] = value
Please write your proof in the table below. Each row should contain one claim. The last claim is the statement that you are trying to prove.