3 Commits (b91ee812617e113e15ce31e5b7df8eba364ba868)

Author	SHA1	Message	Date
Joshua Potter	77684120d9	Enderton. Prove ordering theorems and fix injective successor proof.	2023-08-04 18:26:15 -06:00
Joshua Potter	5dfb2f12cf	Enderton. Finish ordering on natural numbers exercises.	2023-08-04 09:44:58 -06:00
Joshua Potter	9b8ddd2b0d	Enderton. Begin progressing through natural numbers.	2023-07-19 19:25:44 -06:00