Theorem Submodule.inner_right_of_mem_orthogonal

Modification history