Theorem Submodule.map₂_bot_right

Modification history