Theorem Submodule.map₂_sup_left

Modification history