OAI/Combinatorics/Chromatic/Histories/
129 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- AnchorEmptyMask.lean 6 declarations
- ColorBlockEnergy.lean 1 declarations
- ColorWordReordering.lean 8 declarations
- CommonHistoryLeaves.lean 10 declarations
- GraphCommonHistory.lean 5 declarations
- KernelEvaluation.lean 8 declarations
- LocalHistoryFormula.lean 14 declarations
- PacketSortedWords.lean 25 declarations
- ShuffleLeafFiltration.lean 4 declarations
- SortedFiberPerm.lean 26 declarations
- TriangularCommonHistory.lean 8 declarations
- TwoLeafDiagonal.lean 14 declarations