Theorem ContinuousLinearMap.adjointAux_inner_left

Modification history