Theorem Submodule.exists_smul_not_mem_of_rank_lt

Modification history