*): Simple `•` lemmas (#18084)

Commit

2 years ago

feat(data/mv_polynomial/*): Simple `•` lemmas (#18084) A handful of missing lemmas about `a • f` where `f` is a multivariate polynomial.

Author

YaelDillies

Parents