Theorem Padic.comap_mulValuation_eq_int_padicValuation

Modification history

2025-08-15 22:00
Mathlib/NumberTheory/Padics/PadicNumbers.lean
feat(NumberTheory/Padics): {Int,Rat}.padicValuation (#27667) …
Added Padic.comap_mulValuation_eq_int_padicValuationView on Github →