Theorem CliffordAlgebra.left_induction

Modification history