Theorem Submodule.isOrtho_self

Modification history