commit: 6c0f7296e4cd2ff85ab69ae476c0f3bd3e77a2eb

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

Thu Oct 31 19:07:31 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Oct 31 19:07:31 2024 +1100
tree: 8824cb34b791efc5871bba27a04da98ca1a6f3d6
parent: 0fcee100e7ea382069854d91e854265c56b54428 [diff]

chore: move @[simp] from back_eq_back? to back_push

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

1 file changed

tree: 8824cb34b791efc5871bba27a04da98ca1a6f3d6

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