Theorem Submodule.span_algebraMap_image

Modification history