OAI/Combinatorics/Chromatic/Walls/CountSumDimension.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.SignedMultiplicity.countSumDimensionEquiv line 15
2. lemma OAI.ElementaryPositivity.SignedMultiplicity.countSumDimension_energy line 24
3. lemma OAI.ElementaryPositivity.SignedMultiplicity.countSum_admissible line 35
4. lemma OAI.ElementaryPositivity.SignedMultiplicity.countSum_series line 44
5. def OAI.ElementaryPositivity.SignedMultiplicity.dimensionReindex line 65
6. lemma OAI.ElementaryPositivity.SignedMultiplicity.dimensionReindex_energy line 72
7. lemma OAI.ElementaryPositivity.SignedMultiplicity.dimensionReindex_admissible line 80
8. lemma OAI.ElementaryPositivity.SignedMultiplicity.dimensionReindex_series line 86
9. def OAI.ElementaryPositivity.UnitSelections.stringReindex line 98
10. lemma OAI.ElementaryPositivity.UnitSelections.stringReindex_energy line 102
11. lemma OAI.ElementaryPositivity.UnitSelections.stringReindex_admissible line 110