OAI/RepresentationTheory/FoulkesSixth/BlockInjection.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Foulkes.Canonical.productPolynomial_range_block line 14
2. theorem OAI.Foulkes.Canonical.surjective_block line 42
3. lemma OAI.Foulkes.Injection.injective_block line 59
4. theorem OAI.Foulkes.Injection.sixth_from_25 line 66