commit: b16769f5a0bc84378d66b8c2b7266a7148dbee74

[log]
author: Paul Reichert <datokrat@users.noreply.github.com>

Thu Mar 13 09:13:18 2025 +0100
committer: GitHub <noreply@github.com>

Thu Mar 13 08:13:18 2025 +0000
tree: 52db2137ea590b174079d2f9b3a782ec8442764c
parent: 4262ea14d60517a51a5fb9957140fabe4734f479 [diff]

feat: new tree map lemmas for getKey (#7412)

This PR provides lemmas about the tree map that have been introduced to
the hash map in #7289.

---------

Co-authored-by: Paul Reichert <6992158+datokrat@users.noreply.github.com>

7 files changed

tree: 52db2137ea590b174079d2f9b3a782ec8442764c

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).