Theorem Algebra.TensorProduct.tmul_pow

Modification history