Theorem Submodule.map_unop_one

Modification history