∫ Утверждение Mathlib

v_eq_valuation

Mathlib.Topology.Algebra.Valued.LocallyCompact

URI: https://scilib.ai/kg/mathlib#NormedField.v_eq_valuation

← MathLib Explorer