Theorem rank_prod

Modification history