OAI/RepresentationTheory/FoulkesHowe/Stabilization.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem346.canonical_foulkes_howe_surjective line 15

   Distinct definitions of this name: ComparatorChallenges/FoulkesHowe.lean:42 (same statement text; different proof or body). Qualify references as OAI.Problem346.canonical_foulkes_howe_surjective@path.

2. theorem OAI.Problem346.canonical_foulkes_howe_a_one line 25
3. theorem OAI.Problem346.vanishing_on_products line 30
4. theorem OAI.Problem346.foulkes_comparison_embedding line 35
5. theorem OAI.Problem346.sixth_symmetric_power_comparison line 42