commit: 5cc00cf764ffaa345acfad426fe29278c3908200

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

Tue Aug 27 21:34:18 2024 +1000
committer: GitHub <noreply@github.com>

Tue Aug 27 21:34:18 2024 +1000
tree: 4d68df3af45f81f54f7ccca3f27cf7b1bd502316
parent: ecc21077725323573945567eaf9c03e2764152df [diff]

Update src/Init/Data/Subtype.lean

src/Init/Data/Subtype.lean[diff]

1 file changed

tree: 4d68df3af45f81f54f7ccca3f27cf7b1bd502316

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