OAI/RepresentationTheory/FoulkesSixth/Rows.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Foulkes.Rows.row line 15
2. lemma OAI.Foulkes.Rows.row_linear line 18
3. lemma OAI.Foulkes.Rows.renameRow_row line 22
4. def OAI.Foulkes.Rows.tensorMap line 26
5. lemma OAI.Foulkes.Rows.tensorMap_tprod line 30
6. lemma OAI.Foulkes.Rows.tensorMap_powers line 35
7. def OAI.Foulkes.Rows.evaluation line 40
8. lemma OAI.Foulkes.Rows.evaluation_apply line 43
9. lemma OAI.Foulkes.Rows.evaluation_span line 48
10. lemma OAI.Foulkes.Rows.eval_tensorMap line 59
11. lemma OAI.Foulkes.Rows.tensorMap_injective line 70
12. lemma OAI.Foulkes.Rows.tensorMap_range line 95
13. lemma OAI.Foulkes.Rows.tensorMap_perm line 112
14. def OAI.Foulkes.Rows.invariantMap line 127
15. lemma OAI.Foulkes.Rows.invariantMap_injective line 130
16. lemma OAI.Foulkes.Rows.invariantMap_range line 133
17. def OAI.Foulkes.Rows.equiv line 154
18. lemma OAI.Foulkes.Rows.equiv_coe line 158