Documentation
LeanPool
.
AharoniKorman
.
ForMathlib
Search
return to top
source
Imports
Init
LeanPool.AharoniKorman.ForMathlib.Misc
Mathlib.Data.Finset.Attr
Imported by
Auxiliary order lemmas for the Aharoni-Korman import
#
This module collects helper lemmas used by the Aharoni-Korman counterexample.