3 commits

Author	SHA1	Message	Date
Aaron Huber	bca52a1af5	Misc. changes; change X to U in intro example, adjust appendix for S.3 and S.4 changes, etc.	2022-06-03 12:11:54 -04:00
Aaron Huber	d101fc8df6	Finished cleaning Appendix B.	2022-04-21 11:46:21 -04:00
Aaron Huber	580e6876fb	Fixed lemma 4.8 proof per @atri 030722 comments.	2022-03-08 20:26:18 -05:00

Renamed from app_single-p-proof-defs.tex (Browse further)