Theorem rank_quotient_add_rank

Modification history