Theorem CliffordAlgebra.lift_ι_apply

Modification history