Theorem CliffordAlgebra.even.lift.aux_one

Modification history