OAI/Algebra/OddKaplansky/WreathActions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.OddKaplansky.WreathFourier.diagonal line 19
2. lemma OAI.OddKaplansky.WreathFourier.top_represents line 22
3. lemma OAI.OddKaplansky.WreathFourier.base_represents line 42
4. lemma OAI.OddKaplansky.WreathFourier.diagonal_inv line 48
5. lemma OAI.OddKaplansky.WreathFourier.diagonal_inv' line 65
6. lemma OAI.OddKaplansky.WreathFourier.conjugate_represents line 68