OAI/Combinatorics/BalancedRyser/Construction/TwoSplitCoverObstruction.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.Configuration.splitMultiplicity_le_order_add_one line 14
2. theorem OAI.Balanced.Configuration.two_split_cover_impossible_after_forcing line 23
3. theorem OAI.Balanced.Configuration.zero_split_forced_count_impossible line 52