commit: c9cf7ed8ceb99c4ec79e5368522b33e474d974cd

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

Sun Sep 29 15:22:49 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Sun Sep 29 15:22:49 2024 +1000
tree: c830d42754b5f32699c968b846d7eb113273f3f4
parent: 9f4075be723d8f426ba6bde4aee3390047279b12 [diff]

feat: Array.eraseReps

src/Init/Data/Array/Basic.lean[diff]
tests/lean/run/eraseReps.lean[Added - diff]

2 files changed

tree: c830d42754b5f32699c968b846d7eb113273f3f4

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