OAI/Combinatorics/Chromatic/Histories/AnchorEmptyMask.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.Packets.wordCount_multiset line 14
2. lemma OAI.ElementaryPositivity.Packets.empty_ascent_iff line 23
3. lemma OAI.ElementaryPositivity.Packets.antitone_word_unique line 44
4. lemma OAI.ElementaryPositivity.Packets.exists_antitone_word line 54
5. abbrev OAI.ElementaryPositivity.Packets.EmptyAnchor line 72
6. def OAI.ElementaryPositivity.Packets.emptyAnchorEquiv line 74