OAI/Probability/SignedSweeps/OrbitDimension.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SignedSweeps.finrank_le_translates line 10
2. def OAI.SignedSweeps.ColoringOrbit line 54
3. instance OAI.SignedSweeps.coloringOrbitFinite line 57
4. instance OAI.SignedSweeps.coloringOrbitFintype line 60
5. def OAI.SignedSweeps.coloringOrbitIndex line 63
6. def OAI.SignedSweeps.coloringOrbitRep line 66
7. lemma OAI.SignedSweeps.coloringOrbitRep_property line 69
8. lemma OAI.SignedSweeps.finrank_le_coloringOrbit line 77