Theorem Submodule.IsOrtho.symm

Modification history