Commit 2023-01-10 13:41 65902a4a
View on Github →feat(data/mv_polynomial/*): Simple • lemmas (#18084)
A handful of missing lemmas about a • f where f is a multivariate polynomial.
feat(data/mv_polynomial/*): Simple • lemmas (#18084)
A handful of missing lemmas about a • f where f is a multivariate polynomial.