Theorem WittVector.add_coeff

Modification history

2024-02-13 12:46

Mathlib/RingTheory/WittVector/Defs.lean

chore: tidy various files (#10453)

Modified WittVector.add_coeff View on Github →

2023-06-05 10:42

Mathlib/RingTheory/WittVector/Defs.lean

feat: port RingTheory.WittVector.Defs (#4687)

Added WittVector.add_coeff View on Github →