OAI/Combinatorics/Ryser/Incidence/FourAnchorsLocal.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RyserCoveringCounterexample.Incidence.sum_trace_card_eq_sum_selected_degree line 17
2. theorem OAI.RyserCoveringCounterexample.Incidence.sum_trace_card_ge_min_degree line 27
3. theorem OAI.RyserCoveringCounterexample.Incidence.sum_high_trace_ge_min_degree line 38
4. theorem OAI.RyserCoveringCounterexample.Incidence.triple_sum_lower_bound line 65
5. theorem OAI.RyserCoveringCounterexample.Incidence.anchorConfigurations_card_lower line 105
6. theorem OAI.RyserCoveringCounterexample.Incidence.card_orderedTriples_le_card_cube line 120
7. theorem OAI.RyserCoveringCounterexample.Incidence.anchorConfigurations_card_upper line 129