bookshelf

Author	SHA1	Message	Date
Joshua Potter	4f8c3383f1	Update to lean v4.3.0	2023-12-14 13:29:09 -07:00
Joshua Potter	7959c474a0	Enderton (set). Fixup the pigeonhole principle.	2023-09-16 17:54:41 -06:00
Joshua Potter	66df65c14b	Update toolchain and deps.	2023-05-20 11:11:27 -06:00
Joshua Potter	68d46e1a7d	Redefine an `Orthogonal` rectangle as a subtype of a `Skew` one.	2023-05-15 14:07:42 -06:00
Joshua Potter	3d0dc2b926	Continuing working on Apostol 1.11 exercises.	2023-05-11 13:35:05 -06:00