mathlib3
09a505a7 - feat(ring_theory/witt_vector): use structure instead of irreducible (#6604)

Commit

4 years ago

feat(ring_theory/witt_vector): use structure instead of irreducible (#6604)

Author

gebner

gebner

Parents

Loading