Theorem Submodule.finrank_le_one_iff_isPrincipal

Modification history