OAI/Combinatorics/Chromatic/Walls/StringStrip.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ElementaryPositivity.SignedMultiplicity.countSumEquiv line 11
  2. lemma OAI.ElementaryPositivity.SignedMultiplicity.countSum_sum line 30
  3. abbrev OAI.ElementaryPositivity.UnitSelections.HeadLevel line 48
  4. def OAI.ElementaryPositivity.UnitSelections.levelCutEquiv line 50
  5. lemma OAI.ElementaryPositivity.UnitSelections.levelCut_even line 69
  6. def OAI.ElementaryPositivity.UnitSelections.stringStripEquiv line 75
  7. lemma OAI.ElementaryPositivity.UnitSelections.stringStrip_sum line 81
  8. lemma OAI.ElementaryPositivity.UnitSelections.stringStrip_dimension line 92
  9. lemma OAI.ElementaryPositivity.UnitSelections.stringStrip_energy line 99
  10. def OAI.ElementaryPositivity.SignedMultiplicity.countDimension line 120
  11. def OAI.ElementaryPositivity.SignedMultiplicity.zeroCount line 123
  12. lemma OAI.ElementaryPositivity.SignedMultiplicity.countDimension_zero line 125
  13. lemma OAI.ElementaryPositivity.SignedMultiplicity.countDimension_apply line 128
  14. lemma OAI.ElementaryPositivity.SignedMultiplicity.count_eq_zero_of_dimension line 132
  15. abbrev OAI.ElementaryPositivity.SignedMultiplicity.DimensionCounts line 148
  16. lemma OAI.ElementaryPositivity.SignedMultiplicity.dimensionCounts_zero_subsingleton line 151
  17. def OAI.ElementaryPositivity.SignedMultiplicity.countEnergy line 159
  18. lemma OAI.ElementaryPositivity.SignedMultiplicity.countEnergy_zero line 161
  19. lemma OAI.ElementaryPositivity.SignedMultiplicity.dimensionCounts_zero_energy line 164
  20. lemma OAI.ElementaryPositivity.SignedMultiplicity.countDimension_mem line 168
  21. lemma OAI.ElementaryPositivity.SignedMultiplicity.countEnergy_shift line 173