Theorem Submodule.exists_of_finrank_lt

Modification history