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