Theorem ContinuousLinearMap.inner_map_map_iff_adjoint_comp_self

Modification history