OAI/Combinatorics/BalancedRyser/Probability/PatternExposure.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. example OAI.Balanced.PatternExposureReview5e39.(example at line 10) line 10
2. example OAI.Balanced.PatternExposureReview5e39.(example at line 15) line 15
3. example OAI.Balanced.PatternExposureReview5e39.(example at line 20) line 20
4. example OAI.Balanced.PatternExposureReview5e39.(example at line 25) line 25
5. example OAI.Balanced.PatternExposureReview5e39.(example at line 31) line 31
6. example OAI.Balanced.PatternExposureReview5e39.(example at line 36) line 36