3 commits

Author	SHA1	Message	Date
Aaron Huber	6f593b3627	Small changes and notes.	2021-09-01 11:27:11 -04:00
Aaron Huber	1535b692cf	Fixed Lemma 2.8 proof.	2021-08-31 15:06:12 -04:00
Aaron Huber	4fe79fd1c7	Notation changes started.	2021-06-09 12:42:26 -04:00