Theorem Submodule.orthogonalProjection_tendsto_self

Modification history