592 Appendix proofs and related work

Open in new window