Theorem Submodule.map₂_le

Modification history