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

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/no-edge-irreducible-image-c27a

Commits

  1. Commits on Nov 8, 2026