Theorem Submodule.map₂_iSup_right

Modification history