Theorem Submodule.inner_left_of_mem_orthogonal

Modification history