Theorem CliffordAlgebra.foldr'_ι_mul

Modification history