Theorem CliffordAlgebra.even.lift.aux_ι

Modification history