Theorem CliffordAlgebra.contractLeftAux_contractLeftAux

Modification history