Theorem Algebra.TensorProduct.one_def

Modification history