Theorem CliffordAlgebra.contractRight_mul_ι

Modification history