Theorem CliffordAlgebra.ι_mul_ι_mul_ι

Modification history