Theorem Submodule.algebraMap_mem

Modification history