Theorem Valuation.lt_div_iff_mul_vlt

Modification history

2026-10-09 07:54
Mathlib/RingTheory/Valuation/ValuativeRel/Basic.lean
feat: `ValuativeRel` and `IsValuativeTopology (v.adicCompletion K)` (#44279) …
Added Valuation.lt_div_iff_mul_vltView on Github →