commit: 389a160430098366ba668345e9e1a09eadb171ad

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

Fri Sep 20 17:02:05 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Sep 20 17:02:05 2024 +1000
tree: d9de1219c5c8f9420abe2e2113e7d9302080f538
parent: c3f384d6a5605b04ff7d15d7861532a531c89d9a [diff]

chore: reverse direction of List.set_map

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

1 file changed

tree: d9de1219c5c8f9420abe2e2113e7d9302080f538

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