OAI/RepresentationTheory/FoulkesSixth/AlternantExpansion.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Foulkes.Lookup.sorted_dominance line 11
2. theorem OAI.Foulkes.Lookup.previous_partition_le line 33
3. lemma OAI.Foulkes.Lookup.shifted_strictAnti line 48
4. lemma OAI.Foulkes.Lookup.eq_of_strict_coefficients line 58
5. lemma OAI.Foulkes.Lookup.coeff_alternant_strict line 74
6. lemma OAI.Foulkes.Lookup.alternating_sum line 106
7. lemma OAI.Foulkes.Lookup.alternating_smul line 113
8. theorem OAI.Foulkes.Lookup.alternant_expansion line 118