commit: bb6bfdba37fcda064775aa82979009d5036c7a9e

[log]
author: Markus Himmel <markus@lean-fro.org>

Thu Apr 03 10:31:05 2025 +0200
committer: GitHub <noreply@github.com>

Thu Apr 03 08:31:05 2025 +0000
tree: e541b514ac8a0b76c37d062f8e5dfe7c4157d6e4
parent: 626075ca3422857eb57297995440ad2dc44ee529 [diff]

feat: `Nat.lcm` lemmas (#7791)

This PR adds lemmas about `Nat.lcm`.

3 files changed

tree: e541b514ac8a0b76c37d062f8e5dfe7c4157d6e4

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