Commit 2020-11-10 10:21 55a28c16
View on Github →feat(ring_theory/witt_vector/mul_p): multiplication by p as operation on witt vectors (#4837) Co-Authored-By: Rob Y. Lewis rob.y.lewis@gmail.com
feat(ring_theory/witt_vector/mul_p): multiplication by p as operation on witt vectors (#4837) Co-Authored-By: Rob Y. Lewis rob.y.lewis@gmail.com