OAI/RepresentationTheory/FoulkesSixth/SymDual.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Foulkes.SymmetricTensor.pair_perm line 15
2. lemma OAI.Foulkes.SymmetricTensor.pair_map line 32
3. def OAI.Foulkes.SymmetricTensor.pairing line 42
4. lemma OAI.Foulkes.SymmetricTensor.pairing_apply line 46
5. lemma OAI.Foulkes.SymmetricTensor.pairing_power line 49
6. lemma OAI.Foulkes.SymmetricTensor.pairing_map line 53
7. def OAI.Foulkes.SymmetricTensor.pairingInv line 59
8. lemma OAI.Foulkes.SymmetricTensor.pairing_pairingInv line 76
9. lemma OAI.Foulkes.SymmetricTensor.pair_project line 84
10. lemma OAI.Foulkes.SymmetricTensor.pairing_injective line 98
11. def OAI.Foulkes.SymmetricTensor.dualEquiv line 109
12. lemma OAI.Foulkes.SymmetricTensor.dualEquiv_apply line 113