Mathlib Changelog
v4
Changelog
About
Github
Theorem
Hollom.SpinalMap.le_apply_of_le
Modification history
2025-03-12 15:37
Counterexamples/AharoniKorman.lean
feat(Counterexamples): disproof of the Aharoni–Korman conjecture (#20082) …
Added
Hollom.SpinalMap.le_apply_of_le
View on Github →