Theorem Submodule.finrank_mono

Modification history