OAI/Combinatorics/CycleDecomposition/Representatives.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ErdosGallai.Representatives.choose_with_mates line 18
2. theorem OAI.ErdosGallai.Representatives.two_distinct_representatives line 77
3. theorem OAI.ErdosGallai.Representatives.reservoir_representatives line 100
4. def OAI.ErdosGallai.reservoirProbability line 135
5. def OAI.ErdosGallai.reservoirExpansionCoefficient line 136
6. theorem OAI.ErdosGallai.reservoir_preparation line 140