Theorem rank_add_rank_split

Modification history