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