Theorem orthogonalProjectionFn_norm_sq

Modification history