Theorem Hollom.SpinalMap.apply_mem_Icc_of_mem_Icc

Modification history

2025-03-12 15:37
Counterexamples/AharoniKorman.lean
feat(Counterexamples): disproof of the Aharoni–Korman conjecture (#20082) …
Added Hollom.SpinalMap.apply_mem_Icc_of_mem_IccView on Github →