batteries
batteries copied to clipboard
feat: RBMap lemmas
- [x] Depends on: #735
- [x] Depends on: #737
- [x] Depends on: #738
This adds RBMap lemmas corresponding to all of the RBSet lemmas.