Erdős Problem 1122: answered in the affirmative for every additive function, with a partial Lean formalization
Lean Updated 2 months ago 1 commits
helix-ai|Mirror: FireflySentinel/erdos-1122 (⭐0)
2 months agoAbout
Erdős Problem 1122: answered in the affirmative for every additive function, with a partial Lean formalization
Readme