Theorem CliffordAlgebra.foldr_ι

Modification history