1 Commits (7ab8af7124b81fa35f54e8cf648faf1c461d4fb9)

Author	SHA1	Message	Date
Aaron Huber	580e6876fb	Fixed lemma 4.8 proof per @atri 030722 comments.	2022-03-08 20:26:18 -05:00