Theorem Submodule.isOrtho_sup_left

Modification history