Theorem Hollom.«forall₂»

Modification history

2026-01-08 15:08
Counterexamples/AharoniKorman.lean
chore(Archive,Counterexamples): find whitespace (#33759) …
Deleted Hollom.«forall₂»View on Github →
2025-03-12 15:37
Counterexamples/AharoniKorman.lean
feat(Counterexamples): disproof of the Aharoni–Korman conjecture (#20082) …
Added Hollom.«forall₂»View on Github →