Theorem CliffordAlgebra.invOf_ι_mul_ι_mul_ι

Modification history