Skip to content

Alternating values bound every critical value - #2523

Merged
PerAlexandersson merged 1 commit into
mainfrom
theory/alternation-critical-values
Nov 10, 2026
Merged

PerAlexandersson merged 1 commit into
mainfrom
theory/alternation-critical-values

Alternating values bound every critical value

0807e10
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
comparator
succeeded Nov 10, 2026 in 7m 3s