OAI/Probability/SwitchChain/SwitchMultiplicity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem315.SwitchPairFiber.Crosses line 11
2. lemma OAI.Problem315.SwitchPairFiber.complement_card line 15
3. lemma OAI.Problem315.SwitchPairFiber.crosses_complement line 19
4. theorem OAI.Problem315.SwitchPairFiber.cross_cuts_eq_of_inter_nonempty line 30
5. theorem OAI.Problem315.SwitchPairFiber.cross_cuts_eq_or_complement line 80
6. def OAI.Problem315.SwitchPairFiber.crossingPairs line 97
7. theorem OAI.Problem315.SwitchPairFiber.crossingPairs_card line 100