Theorem CliffordAlgebra.odd_induction

Modification history