commit: eb753828dd15ffb59708e42d7c042aa6861f583d

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

Sat Jul 26 22:09:36 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jul 27 13:22:01 2025 +0200
tree: 6aacf339bf461bc75325c88ade16fac66b138cc2
parent: e4dc1603dc12383af173014645d994aff3f9ec2d [diff]

perf: `Poly.mulConst_k` and `Poly.mulMon_k`

src/Init/Grind/Ring/Poly.lean[diff]

1 file changed

tree: 6aacf339bf461bc75325c88ade16fac66b138cc2

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.