Theorem CliffordAlgebra.even_induction

Modification history