Theorem CliffordAlgebra.foldr_reverse

Modification history