Repository navigation
F-star family gap: the box floor FAILS minimally at v = 3 - surviving tau >= 1 form exact (no kappa) - #3012
Open
navinor wants to merge 1 commit into
Open
F-star family gap: the box floor FAILS minimally at v = 3 - surviving tau >= 1 form exact (no kappa)#3012navinor wants to merge 1 commit into
navinor wants to merge 1 commit into
Commits
Commits on Oct 16, 2026