Def TensorProduct.congr

Modification history