commit: 5dfee0288fb0dcd47be11f3602b739e801baf7d2

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

Mon Feb 10 15:02:03 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Feb 10 15:02:03 2025 +1100
tree: 00c09ee4eb9069431f631cea0627951793e23115
parent: 7f3e1705091ecf0b4534d2e274729d381a5bfe8e [diff]

chore: add @[simp] to List.flatten_toArray

src/Init/Data/Array/Lemmas.lean[diff]

1 file changed

tree: 00c09ee4eb9069431f631cea0627951793e23115

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