commit: 1a7518f707d3b9f0e4760883813b4919f40475f6

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

Sat Jun 22 20:49:29 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Sat Jun 22 20:49:29 2024 +1000
tree: 34b6e4bf8781386d3548dac478115e8ef354f923
parent: 24d51b90cc4adbc68386671bba4587d6e47188d6 [diff]

chore: fix explicitness of Prod.map lemmas

src/Init/Core.lean[diff]

1 file changed

tree: 34b6e4bf8781386d3548dac478115e8ef354f923

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