commit: f751a4e3aa1d4092bf2b3210ffb390aef8cadfbb

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Sun Mar 02 07:58:54 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Mar 02 07:59:28 2025 -0800
tree: 00b1234db053a4efecf03d00f326d2cceca41d0c
parent: 2f7fc81cc3a7e30eb489e8522c047d65e270cfda [diff]

chore: mark auxiliary theorems as private

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

1 file changed

tree: 00b1234db053a4efecf03d00f326d2cceca41d0c

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