OAI/RepresentationTheory/FoulkesSixth/SymOperations.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Foulkes.symEquiv line 16
2. lemma OAI.Foulkes.symEquiv_apply line 21
3. def OAI.Foulkes.SymmetricTensor.oneEquiv line 26
4. lemma OAI.Foulkes.SymmetricTensor.oneEquiv_power line 34
5. lemma OAI.Foulkes.SymmetricTensor.oneEquiv_symm line 39
6. def OAI.Foulkes.SymAlgebra.tensorMul line 48
7. lemma OAI.Foulkes.SymAlgebra.tensorMul_tprod line 51
8. lemma OAI.Foulkes.SymAlgebra.tensorMul_perm line 55
9. def OAI.Foulkes.SymAlgebra.multiply line 66
10. lemma OAI.Foulkes.SymAlgebra.multiply_power line 69
11. lemma OAI.Foulkes.SymAlgebra.multiply_project line 73