∫ Утверждение Mathlib
imaginaryPart_imaginaryPart
Mathlib.LinearAlgebra.Complex.Module
URI: https://scilib.ai/kg/mathlib#imaginaryPart_imaginaryPart
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Complex.Module
URI: https://scilib.ai/kg/mathlib#imaginaryPart_imaginaryPart