Theorem CliffordAlgebra.induction

Modification history