Theorem Submodule.IsOrtho.le

Modification history