Erdős problems and equational laws

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

curator Close #2 067e6a9 · 2周前历史

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

1	---
2	number: 2
3	title: "Choose the first statements with the upstream projects"
4	state: closed
5	author: curator
6	created_at: 2026-10-21T06:26:48Z
7	---
8
9