Theorem Submodule.orthogonal_gc

Modification history