commit: 35d9307df30c1cbd2ab1103e083c21dd70dbd191

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

Mon May 06 21:14:18 2024 +1000
committer: GitHub <noreply@github.com>

Mon May 06 11:14:18 2024 +0000
tree: a9ce6cbda9044e2885908f274f005bddaafd825f
parent: 9e4c414f48eb644edb0d32c6c77e0aea4e694a7d [diff]

chore: move @[simp] attribute on length_eq_zero earlier (#4077)

Cleanup.

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

1 file changed

tree: a9ce6cbda9044e2885908f274f005bddaafd825f

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