mathlib
93e77412 - feat(ring_theory/witt_vector): Witt vectors over a domain are a domain (#11346)

Commit

4 years ago

feat(ring_theory/witt_vector): Witt vectors over a domain are a domain (#11346) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents