OAI/Combinatorics/Chromatic/GradedAlgebra/UnitIndexEnergy.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.UnitSelections.weight line 12
2. lemma OAI.ElementaryPositivity.UnitSelections.twice_staircase line 14
3. lemma OAI.ElementaryPositivity.UnitSelections.staircase_weight line 22
4. abbrev OAI.ElementaryPositivity.UnitSelections.UnitIndex line 27
5. def OAI.ElementaryPositivity.UnitSelections.weakUnitEquiv line 29
6. def OAI.ElementaryPositivity.UnitSelections.unitWeight line 44
7. lemma OAI.ElementaryPositivity.UnitSelections.weakUnit_weight line 46
8. lemma OAI.ElementaryPositivity.UnitSelections.weakSym_weight line 58