Theorem ContinuousLinearMap.adjointAux_norm

Modification history