Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-25 12:54 9591d437

View on Github →

feat(data/*): lemmas on division of polynomials by constant polynomials (#4206) From the Witt vector project We provide a specialized version for polynomials over zmod n, which turns out to be convenient in practice. Co-Authored-By: Rob Y. Lewis rob.y.lewis@gmail.com

Estimated changes