Theorem CliffordAlgebra.lift_unique

Modification history