OAI/Probability/SwitchChain/FixedBlockCount.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem315.FixedBlock.partitionEquivColorings line 12
2. theorem OAI.Problem315.FixedBlock.partition_nonempty line 18
3. theorem OAI.Problem315.FixedBlock.partition_card_mul_factorials line 25
4. theorem OAI.Problem315.FixedBlock.partition_card_real line 34
5. theorem OAI.Problem315.FixedBlock.partition_pair_card_real line 43
6. theorem OAI.Problem315.FixedBlock.partition_pair_card_real_of_sum line 52
7. def OAI.Problem315.FixedBlock.pairSizeWeight line 61
8. theorem OAI.Problem315.FixedBlock.uniform_size_expectation line 64
9. theorem OAI.Problem315.FixedBlock.uniform_family_expectation line 98