Theorem CliffordAlgebra.right_induction

Modification history