Theorem LinearPMap.adjoint_isFormalAdjoint

Modification history