Theorem Submodule.rank_quotient_add_rank

Modification history