Theorem Submodule.map₂_le_map₂_left

Modification history