Theorem CliffordAlgebra.foldr_mul

Modification history