Theorem CliffordAlgebra.contractRight_one

Modification history