Theorem CliffordAlgebra.foldr'_algebraMap

Modification history