OAI/RepresentationTheory/PartialPermutation/ModuleTransport.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartialPermutation.subrepModuleEquiv line 18
2. lemma OAI.PartialPermutation.subrep_irreducible_iff line 40
3. def OAI.PartialPermutation.subrepEquivOfModuleEquiv line 46
4. def OAI.PartialPermutation.moduleEquivOfSubrepEquiv line 53
5. lemma OAI.PartialPermutation.irreducible_equiv_of_character_eq line 62
6. def OAI.PartialPermutation.OccurringTypes line 81