2 Commits (main)

Author	SHA1	Message	Date
Joshua Potter	b97b8fbbca	Use swap theorems in pigeonhole principle proof. ... Establish precedent for embedding LaTeX proof into code.	2023-11-11 09:48:12 -07:00
Joshua Potter	857d0ea83e	Enderton (Set). Additions to exercise set 6. (#8)	2023-11-10 10:02:25 -07:00