Theorem rank_tensor_product'

Modification history