Theorem Submodule.map_inr

Modification history