Formalizing the Ring of Witt Vectors
Published in Certified Programs and Proofs, 2021
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://robertylewis.com/files/witt-vectors.pdf
Published in Certified Programs and Proofs, 2021
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://robertylewis.com/files/witt-vectors.pdf