OAI/RepresentationTheory/FoulkesHowe/Model.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem346.symMonomialRaw line 12

   Also declared: ComparatorChallenges/FoulkesHowe.lean:12 (same declaration text).

2. def OAI.Problem346.symPowSubmodule line 16

   Also declared: ComparatorChallenges/FoulkesHowe.lean:16 (same declaration text).

3. abbrev OAI.Problem346.SymPow line 20

   Also declared: ComparatorChallenges/FoulkesHowe.lean:20 (same declaration text).

4. def OAI.Problem346.symMonomial line 23

   Also declared: ComparatorChallenges/FoulkesHowe.lean:23 (same declaration text).

5. def OAI.Problem346.foulkesFormula line 27

   Also declared: ComparatorChallenges/FoulkesHowe.lean:27 (same declaration text).

6. def OAI.Problem346.IsFoulkesMap line 36

   Also declared: ComparatorChallenges/FoulkesHowe.lean:36 (same declaration text).

7. def OAI.Problem346.IsPlethysmAction line 42
8. def OAI.Problem346.IsGLEquivariantEmbedding line 52
9. abbrev OAI.Problem346.SymmetricMultilinearForm line 65
10. def OAI.Problem346.IsSymmetricMultilinearForm line 69