Theorem CliffordAlgebra.GradedAlgebra.lift_ι_eq

Modification history