Theorem Submodule.map_subtype_span_singleton

Modification history