Theorem Submodule.rank_add_le_rank_add_rank

Modification history