Theorem CliffordAlgebra.foldl_one

Modification history