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