Theorem Submodule.re_inner_starProjection_nonneg

Modification history