Theorem Submodule.triorthogonal_eq_orthogonal

Modification history