Commit 2021-12-11 09:33 08d30d66
View on Github →chore(algebra/pointwise): Better variables
management (#10686)
Moves a few variables from lemma statements to variables
.
chore(algebra/pointwise): Better variables
management (#10686)
Moves a few variables from lemma statements to variables
.