Repository navigation
F-star residue class (ii): non-3-dichromatic zero digraphs - matched-pivot floor, fixture dichromatic structure, smallest-first falsifier search (no kappa) - #2774
Open
navinor wants to merge 1 commit into
Commits
Commits on Oct 15, 2026