Theorem Submodule.isOrtho_sSup_left

Modification history