Theorem Submodule.orthogonal_eq_inter

Modification history