Theorem NumberField.FinitePlace.pos_iff

Modification history

2025-02-28 20:55
Mathlib/NumberTheory/NumberField/FinitePlaces.lean
chore: renaming and documentation for `NumberField.FinitePlace` (#22407)
Deleted NumberField.FinitePlace.pos_iffView on Github →
2024-12-23 14:21
Mathlib/NumberTheory/NumberField/FinitePlaces.lean
feat: the product formula for number fields (#20132) …
Modified NumberField.FinitePlace.pos_iffView 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.FinitePlace.pos_iffView on Github →