Theorem Submodule.isOrtho_bot_left

Modification history