OAI/Combinatorics/Chromatic/GradedAlgebra/StringStripSeries.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.UnitSelections.shiftedString_admissible line 18
2. lemma OAI.ElementaryPositivity.UnitSelections.stripEnergy_admissible line 25
3. def OAI.ElementaryPositivity.UnitSelections.stripSeries line 29
4. lemma OAI.ElementaryPositivity.UnitSelections.stringStrip_series line 33
5. theorem OAI.ElementaryPositivity.UnitSelections.stringStrip_scaled line 52