Theorem Submodule.apply_mem_span_image_of_mem_span

Modification history