commit: ca0d8226192e7c0cdcc71d6322c3226ad4f73f30

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Thu Mar 06 16:42:12 2025 +1100
committer: GitHub <noreply@github.com>

Thu Mar 06 05:42:12 2025 +0000
tree: 12e0a2355c32c14332037c1020d8c67fd2c0069d
parent: e2a80875c9e70b0457c236d122dd845b0537409d [diff]

chore: protect Int.sub_eq_iff_eq_add (#7359)

Minor problems introduced in #7274.

src/Init/Data/Int/LemmasAux.lean[diff]

1 file changed

tree: 12e0a2355c32c14332037c1020d8c67fd2c0069d

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