commit: 9a84880b2b99f953a75ecb2baeaab2175f7766af

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

Tue Jun 04 16:50:28 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 04 16:50:28 2024 -0700
tree: 3b6cac341da038ebe16b1c76d8dd6ad3ec95b675
parent: 81f5b07215b077f9b5be677f8689617512d3322c [diff]

chore: apply naming convention to `IsLawfulSingleton`

closes #4324

src/Init/Core.lean[diff]

1 file changed

tree: 3b6cac341da038ebe16b1c76d8dd6ad3ec95b675

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