Theorem ContinuousLinearMap.apply_norm_sq_eq_inner_adjoint_left

Modification history