OAI/RepresentationTheory/PartialPermutation/IsotypicKernels.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PartialPermutation.ofModule'_algebra line 26
2. lemma OAI.PartialPermutation.ofModule'_apply line 30
3. def OAI.PartialPermutation.ofModule'ModuleEquiv line 36
4. lemma OAI.PartialPermutation.ofModule'_irreducible line 48
5. structure OAI.PartialPermutation.IsotypicKernelModel line 53
6. lemma OAI.PartialPermutation.exists_isotypicKernelModel line 63