Theorem TensorProduct.Algebra.smul_def

Modification history