mathlib3
08d30d66 - chore(algebra/pointwise): Better `variables` management (#10686)

Commit

4 years ago

chore(algebra/pointwise): Better `variables` management (#10686) Moves a few variables from lemma statements to `variables`.

Author

YaelDillies

Parents