Theorem Submodule.starProjection_tendsto_self

Modification history