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