Theorem rank_quotient_add_rank_of_isDomain

Modification history