Theorem Submodule.orthogonalFamily_self

Modification history