commit: 7f023be36f9fe75a3a676cf2fbb404d91b4d6510

[log]
author: Kim Morrison <kim@tqft.net>

Thu Jun 12 12:34:19 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Jun 12 12:34:19 2025 +1000
tree: 78e7106a5ea43cce8a0c628312fdd0047d55722c
parent: 9f65d0251a7fce60ccc4329d5a2e3fe435e04893 [diff]

chore: add Decidable (∃ i, P i)

src/Init/Data/Nat/Lemmas.lean[diff]

1 file changed

tree: 78e7106a5ea43cce8a0c628312fdd0047d55722c

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.