Theorem ContinuousLinearMap.adjointAux_apply

Modification history