Theorem Submodule.span_range_eq_top_of_injective_of_rank_le

Modification history