Theorem LinearMap.adjoint_adjoint

Modification history