Theorem Submodule.isOrtho_sup_right

Modification history