Theorem Submodule.isOrtho_span

Modification history