Theorem rank_add_rank_le_rank_prod

Modification history