∫ Утверждение Mathlib
changeForm_one
Mathlib.LinearAlgebra.CliffordAlgebra.Contraction
URI: https://scilib.ai/kg/mathlib#CliffordAlgebra.changeForm_one
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.CliffordAlgebra.Contraction
URI: https://scilib.ai/kg/mathlib#CliffordAlgebra.changeForm_one