mul_p): multiplication by p as operation on witt vectors (#4837)

Commit

5 years ago

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>

Author

jcommelin

Parents