Theorem rank_range_add_rank_ker

Modification history