Theorem Valuation.RankOne.hom_eq_zero_iff

Modification history

2024-04-23 11:47

Mathlib/RingTheory/Valuation/RankOne.lean

feat(RingTheory/Valuation/RankOne): add rank one valuations (#12156) …

Added Valuation.RankOne.hom_eq_zero_iff View on Github →