Theorem Submodule.nonzero_mem_of_bot_lt

Modification history