`OAI/Combinatorics/Chromatic/`

5902 declarations, 0 contain sorry, 0 declared as axioms; 549 files

Folders

GradedAlgebra/ 105 files, 890 declarations
Histories/ 12 files, 129 declarations
QuantumTorus/ 57 files, 460 declarations
Shuffle/ 151 files, 2082 declarations
Walls/ 214 files, 2208 declarations
Witness/ 8 files, 118 declarations

Files

Main.lean 4 declarations
Model.lean 11 declarations