Theorem TensorProduct.ext'

Modification history