commit: ea75c924a1ab4bb25f4d2e144a141f899da7ba32

[log]
author: Kyle Miller <kmill31415@gmail.com>

Tue Sep 24 16:36:00 2024 -0700
committer: GitHub <noreply@github.com>

Tue Sep 24 23:36:00 2024 +0000
tree: 9d56c2c250c1f85f7463e25ead1e540d49543557
parent: 65f4b925054191363a1f6954b391ffbb28d8bfed [diff]

feat: add `heq_comm` (#5456)

Requested [on
Zulip](https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there-code-for-X.3F/topic/heq_comm/near/472516757).

src/Init/Core.lean[diff]

1 file changed

tree: 9d56c2c250c1f85f7463e25ead1e540d49543557

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