Theorem CliffordAlgebra.contractLeft_ι_mul

Modification history