OAI/Combinatorics/BalancedRyser/Probability/OrderedEventCounting.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.OrderedEventCounting.reorder_injective line 17
2. theorem OAI.Balanced.OrderedEventCounting.factorial_le_card_orders line 24
3. theorem OAI.Balanced.OrderedEventCounting.factorial_le_sum_orders line 37
4. theorem OAI.Balanced.OrderedEventCounting.weighted_order_bound line 49
5. theorem OAI.Balanced.OrderedEventCounting.factorial_le_sum_encoded_orders line 84
6. theorem OAI.Balanced.OrderedEventCounting.weighted_encoded_order_bound line 109