commit: b833e170f3c5bc94efd570f8a2486b9250d40d1b

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 23 14:36:18 2025 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 23 14:36:18 2025 +1000
tree: 8bcaf95a36a1246cd9acb0dd2f9aa73ff06b6ca8
parent: 2c6d634127d5f44ecb7410f89ffcdd1c8d75a3da [diff]

feat: add List.eraseDupsBy and basic lemmas

2 files changed

tree: 8bcaf95a36a1246cd9acb0dd2f9aa73ff06b6ca8

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