Commit 2024-09-30 11:16 71a89215

View on Github →

chore: remove shadowed variable name (#17272) The variable name H was repeated. The ambiguity could potentially be an issue for using apply lemma_name (H := x). Found while working on the unused variable command linter.

Estimated changes