batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat: RBMap lemmas

Open digama0 opened this issue 1 year ago • 0 comments

  • [x] Depends on: #735
  • [x] Depends on: #737
  • [x] Depends on: #738

This adds RBMap lemmas corresponding to all of the RBSet lemmas.

digama0 avatar Apr 13 '24 11:04 digama0