commit: c66c5bb45b5e7f34f7c75d832f4101bd6727d71d

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

Sat Mar 02 15:59:35 2024 -0800
committer: GitHub <noreply@github.com>

Sat Mar 02 23:59:35 2024 +0000
tree: 1e671223902a8961a8d178bf45e409f19c1819df
parent: 870de4322ceb7de5a3d9372f98d0d0af30446d4c [diff]

fix: `simp?` suggests generated equations lemma names (#3573)

closes #3547

---------

Co-authored-by: Joachim Breitner <mail@joachim-breitner.de>

src/Lean/Meta/Eqns.lean[diff]
src/Lean/Meta/Tactic/Simp/Types.lean[diff]
tests/lean/run/3547.lean[Added - diff]

3 files changed

tree: 1e671223902a8961a8d178bf45e409f19c1819df

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.