commit: 520d4b698f3f1f8ed5d673fad6cc810179642279

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

Tue Dec 10 01:04:16 2024 +1100
committer: GitHub <noreply@github.com>

Mon Dec 09 14:04:16 2024 +0000
tree: 4c2c4e31b1be1ab26e0bd17b3785d878eef6a112
parent: c7b8c5c6a6073bb82916bbbe76f71a710d2dee87 [diff]

chore: cleanup of Array lemmas (#6343)

Continuing cleanup of Array lemmas.

3 files changed

tree: 4c2c4e31b1be1ab26e0bd17b3785d878eef6a112

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