Theorem CliffordAlgebra.ι_comp_lift

Modification history