Theorem AbstractMeasure.coeff_amiceTransformEquiv

Modification history

2026-08-27 09:46
Mathlib/NumberTheory/Padics/Measure/AmiceTransform.lean
feat(NumberTheory/Padics): the Amice transform (#42832) …
Added AbstractMeasure.coeff_amiceTransformEquivView on Github →