Theorem Submodule.top_le_span_of_exact_of_retraction

Modification history