Theorem Submodule.orthogonal_orthogonal_eq_closure

Modification history