OAI/RepresentationTheory/PartialPermutation/SymmetricTransfer.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartialPermutation.permBlockEquiv line 21
2. def OAI.PartialPermutation.blockSubgroupSnEquiv line 27
3. lemma OAI.PartialPermutation.inverseDegreeSum_block line 31
4. def OAI.PartialPermutation.SymmetricReciprocalDegreeBoundedStatement line 36
5. def OAI.PartialPermutation.ComplementaryCosetsStatement line 40
6. lemma OAI.PartialPermutation.inverseDegreeSum_block_sum line 57
7. theorem OAI.PartialPermutation.symmetric_block_degree_transfer line 65