Theorem Submodule.disjoint_ker_of_finrank_le

Modification history