Theorem CliffordAlgebra.foldr_prod_map_ι

Modification history