Theorem CliffordAlgebra.foldr'_ι

Modification history