commit: 7837391867135e706c91de746d54a2c2cc721b82

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

Mon Sep 16 11:38:00 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 16 11:38:00 2024 +1000
tree: 6780beb34630bf41dd825f48c0c5dc2b9552771d
parent: 5eea8355baa64e6fda4e3874a0f45649d4c27633 [diff]

feat: List.attachWith lemmas

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

1 file changed

tree: 6780beb34630bf41dd825f48c0c5dc2b9552771d

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