OAI/Combinatorics/CycleDecomposition/BatchResolution.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ErdosGallai.Batch.cycle_template_of_representatives_bounded line 16
  2. theorem OAI.ErdosGallai.Batch.cycle_template_of_representatives line 78
  3. theorem OAI.ErdosGallai.Batch.quotient_part_template line 90
  4. theorem OAI.ErdosGallai.Batch.quotient_partition_templates line 110
  5. theorem OAI.ErdosGallai.Batch.quotient_part_template_on line 139
  6. theorem OAI.ErdosGallai.Batch.quotient_partition_templates_on line 165
  7. lemma OAI.ErdosGallai.Batch.walk_support_on line 203
  8. structure OAI.ErdosGallai.Batch.BatchTemplateFamily line 217
  9. lemma OAI.ErdosGallai.Batch.BatchTemplateFamily.subset line 232
  10. theorem OAI.ErdosGallai.Batch.prepare_templates line 238
  11. theorem OAI.ErdosGallai.Batch.uniform_batch_resolution line 342