commit: 9d1fb9f4faee6afc8c4ff481907336209d748875

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

Mon Feb 17 15:56:04 2025 +1100
committer: GitHub <noreply@github.com>

Mon Feb 17 04:56:04 2025 +0000
tree: 2d7747a1a8a5a8be1f196e88466d118d66437fd0
parent: 6a17e6252335f2594f693469fd29fde50c39da25 [diff]

feat: align Array/Vector.extract lemmas with List (#7105)

This PR completes aligning `Array/Vector.extract` lemmas with the lemmas
for `List.take` and `List.drop`.

14 files changed

tree: 2d7747a1a8a5a8be1f196e88466d118d66437fd0

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