Theorem Submodule.span_image

Modification history