Theorem CliffordAlgebra.involute_eq_of_mem_even

Modification history