OAI/Combinatorics/Chromatic/QuantumTorus/StringSumPush.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.UnitSelections.stringSum_push line 22
2. abbrev OAI.ElementaryPositivity.UnitSelections.noneEmbedding line 51
3. abbrev OAI.ElementaryPositivity.UnitSelections.someEmbedding line 52
4. lemma OAI.ElementaryPositivity.UnitSelections.option_pullback line 54
5. lemma OAI.ElementaryPositivity.UnitSelections.stringOption_push line 61
6. lemma OAI.ElementaryPositivity.UnitSelections.stringEmpty_push line 98
7. def OAI.ElementaryPositivity.UnitSelections.stringLiteralUnit line 133
8. theorem OAI.ElementaryPositivity.UnitSelections.finiteString_literal line 138