Theorem Algebra.TensorProduct.includeRight_apply

Modification history