Theorem DenseRange.addChar_eq_of_eval_one_eq

Modification history

2025-04-23 11:46
Mathlib/Topology/Algebra/Monoid/AddChar.lean
feat(NumberTheory/Padics): leftovers from PR 24141 (#24310) …
Added DenseRange.addChar_eq_of_eval_one_eqView on Github →