Theorem CliffordAlgebra.even.lift.aux_mul

Modification history