Theorem LinearMap.adjoint_toContinuousLinearMap

Modification history