Theorem CliffordAlgebra.foldr_one

Modification history