commit: 358bb770f7609a55ab274bdc6b8faa1af74dbe87

[log]
author: Kim Morrison <kim@tqft.net>

Wed Apr 30 18:53:44 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Wed Apr 30 18:53:44 2025 +0200
tree: d543dc8972c8ee8ee9b67c38bcd3d26722a52de3
parent: 86db67c4444ebef438f93b8ded810cd659f4f6f6 [diff]

feat: insertMany_append lemmas for map variants

15 files changed

tree: d543dc8972c8ee8ee9b67c38bcd3d26722a52de3

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).