Theorem padicValNat.eq_zero_iff

Modification history

2024-08-20 08:16

Mathlib/NumberTheory/Padics/PadicVal/Basic.lean

chore: split off Defs from `Padics/PadicVal` (#15020) …

Modified padicValNat.eq_zero_iff View on Github →

2023-03-22 07:28

Mathlib/NumberTheory/Padics/PadicVal.lean

feat: port NumberTheory.Padics.PadicVal (#3020)

Added padicValNat.eq_zero_iff View on Github →