Theorem Submodule.eq_top_of_finrank_eq

Modification history