commit: abd4495390890031238d9e6c21facfb5b78b5f2e

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

Sat Dec 14 14:50:35 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Dec 14 14:52:46 2024 -0800
tree: c877e1b0e1424e9afcb9ae2ece0d1f57953d1ddb
parent: b721c0f54041f6a6adc618c07851a7e0414bd1e4 [diff]

fix: `simp_all?` local declarations

This PR fixes a bug in `simp_all?` that caused some local declarations to be omitted from the `Try this:` suggestions.

closes #3519

2 files changed

tree: c877e1b0e1424e9afcb9ae2ece0d1f57953d1ddb

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