Theorem fwdDiff_addChar_eq

Modification history

2025-04-23 09:35
Mathlib/Algebra/Group/ForwardDiff.lean
feat(NumberTheory/Padics): parametrization of cts add chars of Z_[p] (#24141) …
Added fwdDiff_addChar_eqView on Github →