TsirelsonBound.Tensor_Mat_Compl_Properties