commit: efad5a0746bcc540f72003fa5cce39e957fd1387

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

Sat Oct 25 09:04:06 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Oct 25 09:04:06 2025 -0700
tree: cc91a83d01bc8635f2d824a9e2169e5165b8bcc0
parent: b3ef7c9f25c2d4ee3728cbb14534a3b203382f71 [diff]

fix: `grind order` regression

This PR fixes a regression in the `grind order` module introduced by

Closes #10953

2 files changed

tree: cc91a83d01bc8635f2d824a9e2169e5165b8bcc0

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.