Theorem ContinuousLinearMap.adjoint_inner_left

Modification history