a note about future worlds

This commit is contained in:
Kevin Buzzard
2023-12-22 16:44:04 +00:00
parent b893d5f1b0
commit 28b67edb95

3
todo_worlds Normal file
View File

@@ -0,0 +1,3 @@
Less than (and strong induction)
even/odd (written by Ivan)
divisibility, prime, hard (all written by Archie)