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