Theorem NumberField.vadicAbv_def

Modification history

2025-02-28 20:55
Mathlib/NumberTheory/NumberField/FinitePlaces.lean
chore: renaming and documentation for `NumberField.FinitePlace` (#22407)
Deleted NumberField.vadicAbv_defView on Github →
2025-02-21 11:42
Mathlib/NumberTheory/NumberField/FinitePlaces.lean
chore: make arg in HeightOneSpectrum.valuation explicit (#22139) …
Modified NumberField.vadicAbv_defView on Github →
2024-12-07 12:21
Mathlib/NumberTheory/NumberField/FinitePlaces.lean
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field (#19667) …
Added NumberField.vadicAbv_defView on Github →