Theorem rank_tensorProduct

Modification history