Mathlib v3 is deprecated. Go to Mathlib v4

Theorem constant_coeff_witt_structure_rat_zero

Modification history

2020-10-19 11:39

src/ring_theory/witt_vector/structure_polynomial.lean

feat(ring_theory/witt_vector/structure_polynomial): examples and basic properties (#4467) …

Added constant_coeff_witt_structure_rat_zero View on Github →