Theorem Hollom.R_diff_infinite

Modification history

2026-06-09 08:51
Counterexamples/AharoniKorman.lean
chore: rename `diff` to `sdiff` (#40184) …
Deleted Hollom.R_diff_infiniteView on Github →
2025-03-12 15:37
Counterexamples/AharoniKorman.lean
feat(Counterexamples): disproof of the Aharoni–Korman conjecture (#20082) …
Added Hollom.R_diff_infiniteView on Github →