Theorem ContinuousLinearMap.adjoint_comp

Modification history