Theorem Submodule.finrank_lt_finrank_of_lt

Modification history