Diff — Self-adjoint operator

Revision #2644 → #4285 · back to history

No annotation changes between these revisions.