4 Commits (main)

Author	SHA1	Message	Date
Joshua Potter	cdba12f161	Drop Theorem 6A references.	2023-11-12 11:44:57 -07:00
Joshua Potter	f215a3180a	Enderton (set). Chapter 6 formatting. ... More consistent header levels throughout.	2023-11-11 15:15:03 -07:00
Joshua Potter	857d0ea83e	Enderton (Set). Additions to exercise set 6. (#8)	2023-11-10 10:02:25 -07:00
Joshua Potter	2a85d526d7	Enderton (set). Finish equinumerosity theorems.	2023-09-19 08:39:34 -06:00