Theorem Submodule.isOrtho_orthogonal_right

Modification history