OAI/Combinatorics/BalancedRyser/Construction/PartitionHypergraph.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Balanced.partitionHypergraph line 11
  2. theorem OAI.Balanced.mem_partitionHypergraph_edges line 15
  3. theorem OAI.Balanced.partitionHypergraph_nonisolated line 23
  4. theorem OAI.Balanced.partitionHypergraph_intersecting line 34
  5. def OAI.Balanced.partitionHypergraph_edgeEquiv line 47
  6. theorem OAI.Balanced.partitionHypergraph_covers_iff line 63
  7. theorem OAI.Balanced.partitionHypergraph_cover_lower_bound line 77
  8. theorem OAI.Balanced.partitionHypergraph_hasCoverNumber line 88
  9. theorem OAI.Balanced.exists_partiteHypergraph_of_partitions line 104