Theorem Submodule.sub_mem_orthogonal_of_inner_left

Modification history