Theorem Submodule.map_iInf

Modification history