OAI/RepresentationTheory/PartialPermutation/Components.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PartialPermutation.componentSimple_simple line 20
2. lemma OAI.PartialPermutation.componentSimple_component line 24
3. def OAI.PartialPermutation.componentCharacter line 28
4. lemma OAI.PartialPermutation.componentCharacter_injective line 33
5. lemma OAI.PartialPermutation.componentCharacter_surjective line 48
6. def OAI.PartialPermutation.componentTypeEquiv line 67
7. instance OAI.PartialPermutation.occurringTypes_finite line 71
8. lemma OAI.PartialPermutation.card_components_eq_types line 74