Theorem Valuation.mem_integer_iff

Modification history

2024-02-15 11:05
Mathlib/RingTheory/Valuation/Integers.lean
feat(Topology.Algebra.Valuation): add integer_isOpen (#8148) …
Added Valuation.mem_integer_iffView on Github →