Theorem CliffordAlgebra.contractLeft_one

Modification history