Theorem CliffordAlgebra.ι_mul_ι_add_swap

Modification history