Theorem Submodule.norm_sq_eq_add_norm_sq_projection

Modification history