commit: 51cad8b6b7f483272248efc59e8c701111a14a94

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

Tue Jul 01 08:54:25 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 01 09:18:07 2025 -0700
tree: 4af407d6a187f8d3423f51d0eca3524bd7010429
parent: 2c13d145dc05899f8ac5928253787d8a495f6c2b [diff]

fix: expand pattern offset gadget in constant patterns

This PR fixes unexpected occurrences of the `Grind.offset` gadget in
ground patterns. See new test

2 files changed

tree: 4af407d6a187f8d3423f51d0eca3524bd7010429

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.