∫ Утверждение Mathlib
sameRay_iff_arg_div_eq_zero
Mathlib.Analysis.Complex.Arg
URI: https://scilib.ai/kg/mathlib#Complex.sameRay_iff_arg_div_eq_zero
∫ Утверждение Mathlib
Mathlib.Analysis.Complex.Arg
URI: https://scilib.ai/kg/mathlib#Complex.sameRay_iff_arg_div_eq_zero