∫ Утверждение Mathlib
extension_eq_zero_iff
Mathlib.Topology.Algebra.Valued.ValuedField
URI: https://scilib.ai/kg/mathlib#Valued.extension_eq_zero_iff
∫ Утверждение Mathlib
Mathlib.Topology.Algebra.Valued.ValuedField
URI: https://scilib.ai/kg/mathlib#Valued.extension_eq_zero_iff