∫ Утверждение Mathlib
conjTranspose_kronecker'
Mathlib.LinearAlgebra.Matrix.Kronecker
URI: https://scilib.ai/kg/mathlib#Matrix.conjTranspose_kronecker'
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Matrix.Kronecker
URI: https://scilib.ai/kg/mathlib#Matrix.conjTranspose_kronecker'