OAI/Combinatorics/Chromatic/Witness/
118 declarations, 0 contain sorry, 0 declared as axioms; 8 files
Files
- ElementaryAlphabetRigidity.lean 12 declarations
- ElementaryProductDegree.lean 8 declarations
- ElementarySingletonCoefficient.lean 17 declarations
- GraphDecoratedHistories.lean 10 declarations
- GraphRequiredPackets.lean 12 declarations
- HistoryMainWitness.lean 24 declarations
- ProfilePartition.lean 12 declarations
- WitnessTransport.lean 23 declarations