commit: 9b0ff9e6b91dc73b2f2fb8c678822c99ae5050a9

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

Fri May 17 19:30:28 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri May 17 19:31:29 2024 -0700
tree: f7edb07cce384f6868f16f70ca80d102bce60c61
parent: 7648bf255cfff9d679404b05f7aa8601044990ca [diff]

fix: `split at h` when `h` has forward dependencies

We use an approach similar to the one used in `simp`.
closes #3731

3 files changed

tree: f7edb07cce384f6868f16f70ca80d102bce60c61

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