Theorem ContinuousLinearMap.adjointAux_inner_right

Modification history