Theorem Submodule.lipschitzWith_orthogonalProjection

Modification history