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.