Theorem CliffordAlgebra.contractLeft_contractLeft

Modification history