OAI/Probability/CubeShuffle/NetworkSpectral.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CubeShuffle.UnitaryFinite.tupleAction_kernel line 11
2. lemma OAI.CubeShuffle.UnitaryFinite.full_tuple_fixed line 23
3. lemma OAI.CubeShuffle.UnitaryFinite.full_tuple_finrank line 35
4. theorem OAI.CubeShuffle.UnitaryFinite.palindrome_irrep_amplification line 39
5. theorem OAI.CubeShuffle.UnitaryFinite.modified_irrep_amplification line 59
6. theorem OAI.CubeShuffle.UnitaryFinite.full_palindrome_decay line 82
7. theorem OAI.CubeShuffle.UnitaryFinite.full_modified_decay line 95
8. lemma OAI.CubeShuffle.UnitaryFinite.palindrome_exception_cards line 106