OAI/Algebra/OddKaplansky/AdmissibleCount.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.OddKaplansky.WreathFourier.weight line 18
2. lemma OAI.OddKaplansky.WreathFourier.weight_bijective line 21
3. def OAI.OddKaplansky.WreathFourier.Admissible line 62
4. lemma OAI.OddKaplansky.WreathFourier.card_singular line 66
5. lemma OAI.OddKaplansky.WreathFourier.cardinality line 84