Repository navigation
Import Sendov's conjecture and the Phelps–Rodriguez conjecture - #556
Merged
Merged
Commits
Commits on Oct 1, 2026
- andcommitted
- andcommitted
- committed
- committed
Merge commit 'ec381e198b00513a1a56871b5de16edcb38da03d' into codex/sendov-main-ec381-review-20261001
committed- committed
- committed
- committed
Commits on Oct 2, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed