OAI/Combinatorics/Chromatic/Walls/SignedMultiplicity.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ElementaryPositivity.SignedMultiplicity.pairwise_iff_count line 11
  2. abbrev OAI.ElementaryPositivity.SignedMultiplicity.Word line 42
  3. abbrev OAI.ElementaryPositivity.SignedMultiplicity.Selection line 44
  4. def OAI.ElementaryPositivity.SignedMultiplicity.wordSelectionEquiv line 46
  5. lemma OAI.ElementaryPositivity.SignedMultiplicity.selection_sum line 61
  6. abbrev OAI.ElementaryPositivity.SignedMultiplicity.CountSelection line 64
  7. def OAI.ElementaryPositivity.SignedMultiplicity.selectionCountEquiv line 66
  8. def OAI.ElementaryPositivity.SignedMultiplicity.wordCountEquiv line 70
  9. def OAI.ElementaryPositivity.UnitSelections.unitEnergy line 77
  10. lemma OAI.ElementaryPositivity.SignedMultiplicity.multiset_count_sum line 86
  11. def OAI.ElementaryPositivity.SignedMultiplicity.countReindex line 100
  12. lemma OAI.ElementaryPositivity.SignedMultiplicity.countReindex_sum line 113