Theorem Submodule.finrank_map_le

Modification history