Theorem Algebra.TensorProduct.basisAux_tmul

Modification history