Theorem rank_prod'

Modification history