OAI/Analysis/Commutator/PartialWordReindex.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Kadison.FinitePatching.Words.mapLetter line 18
2. lemma OAI.Kadison.FinitePatching.Words.valid_cons_iff line 21
3. lemma OAI.Kadison.FinitePatching.Words.valid_map line 40
4. lemma OAI.Kadison.FinitePatching.Words.slotPower_reindex line 58
5. lemma OAI.Kadison.FinitePatching.Words.letter_reindex line 64
6. lemma OAI.Kadison.FinitePatching.Words.word_reindex line 69
7. lemma OAI.Kadison.FinitePatching.Words.momentBound_reindex line 78