Theorem Submodule.top_eq_ofList_cons_smul_iff

Modification history