Theorem IsValuativeTopology.of_zero

Modification history

2025-08-04 23:21

Mathlib/Topology/Algebra/Valued/ValuativeRel.lean

chore(RingTheory/Valuation): change definition of IsValuativeTopology (#27939)

Added IsValuativeTopology.of_zero View on Github →