Commit 2024-05-10 10:23 812bdcf6

View on Github →

feat: nth Prime 0 = 2 (#12708) See https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there-code-for-X.3F/topic/2.20is.20the.20first.20prime Needed as induction start for a formal BOOK proof.

Estimated changes