Theorem Submodule.isOrtho_sSup_right

Modification history