Theorem TensorAlgebra.induction

Modification history