Quiz (1 point)
Prove that:
value at a in map [ entry a: 0, [ ] ] = 0
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.