Theorem Submodule.mem_orthogonal'

Modification history