Skip to content

Prove the no-edge irreducible joint-image bound is 3. - #6921

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/no-edge-irreducible-image-c27a
Nov 10, 2026
Merged

Prove the no-edge irreducible joint-image bound is 3.#6921
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/no-edge-irreducible-image-c27a

Prove the no-edge irreducible joint-image bound is 3.

6020400
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 9, 2026 in 3m 42s