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