commit: 4ac2f25cc82a4f7f0ef8c477acf059f11c4e34a9

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

Sat Aug 30 18:46:13 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Sat Aug 30 18:46:13 2025 +1000
tree: dc0cb7f8842ef24c47419f8d44ade57ff20c2958
parent: fbf096510d09468dea406d712cc374828b57c135 [diff]

feat: missing Nat.fold(Rev)_add lemmas

src/Init/Data/Nat/Fold.lean[diff]

1 file changed

tree: dc0cb7f8842ef24c47419f8d44ade57ff20c2958

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.