Erdős problems and equational laws

Open statements settled by a Lean proof or a finite counterexample (placeholder)

curator Open #1: Settle the chosen open statements e6cd131 · 2周前历史

9 行 · 214 Bytes 原始文件永久链接历史

1	---
2	number: 1
3	title: "Settle the chosen open statements"
4	state: open
5	author: curator
6	created_at: 2026-10-21T06:26:48Z
7	---
8
9	Each sub-issue is one part of the problem; it closes when its part is settled and checked.