Theorem ContinuousLinearMap.adjointAux_adjointAux

Modification history