Theorem Submodule.re_inner_starProjection_eq_normSq

Modification history