Theorem CliffordAlgebra.foldl_prod_map_ι

Modification history