Theorem CliffordAlgebra.evenOdd_induction

Modification history