commit: 66d516bafbe8f9aa442280afa19566a81291b31e

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

Sat Oct 21 16:39:39 2023 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Oct 21 16:39:39 2023 -0700
tree: ab5895dff70ecfa73c46c981d8b04ff15f781671
parent: 12020f81fb50777e1f4a79f48dea5731e5f994da [diff]

feat: use `forall_prop_domain_congr` in `simp` tactic

closes #1926

src/Lean/Meta/Tactic/Simp/Main.lean[diff]
tests/lean/run/1926.lean[Added - diff]

2 files changed

tree: ab5895dff70ecfa73c46c981d8b04ff15f781671

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.