Theorem Submodule.finrank_lt

Modification history