Theorem ContinuousLinearMap.apply_norm_sq_eq_inner_adjoint_right

Modification history