commit: 1af1dfa8a573b58195346e0a4444add7030ff050

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

Fri Aug 15 08:49:37 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Aug 15 08:49:37 2025 -0700
tree: 4e10a36afbf337cec93befdca177ccad57f8a35c
parent: 06d05d1f4698a48ba5ca6ad7f753c3674c5f8cc7 [diff]

fix: revert `Nat.sub` embedding into `Int`

This PR reverts the way `grind cutsat` embeds `Nat.sub` into `Int`. It fixes a regression reported by David Renshaw on Zulip.

https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/v4.2E23.2E0/near/534646557

4 files changed

tree: 4e10a36afbf337cec93befdca177ccad57f8a35c

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.