Theorem CliffordAlgebra.contractLeft_ι

Modification history