Commit 2023-12-04 20:27 0fee6f37

View on Github →

feat: add a few lemmas about MvPolynomial.totalDegree (#8815) From hairer.

Estimated changes