Theorem Submodule.sub_mem_orthogonal_of_inner_right

Modification history