OAI/Combinatorics/Chromatic/Walls/StringRay.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.UnitSelections.oneStringEquiv line 14
2. lemma OAI.ElementaryPositivity.UnitSelections.oneString_dimension line 18
3. lemma OAI.ElementaryPositivity.UnitSelections.oneString_energy line 27
4. lemma OAI.ElementaryPositivity.UnitSelections.nsmul_dimension_injective line 35
5. def OAI.ElementaryPositivity.UnitSelections.unitSigmaFibre line 44
6. def OAI.ElementaryPositivity.UnitSelections.oneStringDimensionEquiv line 53
7. lemma OAI.ElementaryPositivity.UnitSelections.oneStringSeries_nsmul line 64
8. lemma OAI.ElementaryPositivity.UnitSelections.oneStringSeries_off line 72
9. lemma OAI.ElementaryPositivity.UnitSelections.oneString_push_literal line 101