commit: e3a219f654d75fb5e10770355dfba68440010f16

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

Sun Aug 03 20:30:48 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Aug 03 20:34:44 2025 -0700
tree: f1735710be75dd9921d102951f8d2e00d0fb97b4
parent: 718d8acc76b7f1591126840960c745f93f6cc380 [diff]

perf: add `Poy.combine_mul_k`

This PR combines `Poly.combine_k` and `Poly.mul_k` steps used in the
`grind cutsat` proof terms.

src/Init/Data/Int/Linear.lean[diff]

1 file changed

tree: f1735710be75dd9921d102951f8d2e00d0fb97b4

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.