Theorem Submodule.finrank_le_finrank_of_le

Modification history