Theorem ContinuousLinearMap.norm_map_iff_adjoint_comp_self

Modification history