Theorem LinearMap.adjoint_id

Modification history