Theorem Submodule.isOrtho_top_right

Modification history