commit: 10d58f94c14759422d3890ebc8bdff9d69ee7fb8

[log]
author: Kim Morrison <kim@tqft.net>

Sat Jan 10 08:27:33 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Wed Jan 28 03:32:43 2026 +0000
tree: 5b55a26ce49f1b3afce07fa69dc5c9db557db984
parent: 920888955b56fb28131e7988abc944b3af8ade76 [diff]

feat: another `grind_pattern` for `getElem?_pos`

This PR activates `getElem?_pos` more aggressively, triggered by `c[i]`.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>

2 files changed

tree: 5b55a26ce49f1b3afce07fa69dc5c9db557db984

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.