OAI/Combinatorics/Ryser/Incidence/FourAnchorsNumerics.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RyserCoveringCounterexample.Incidence.fourAnchors_degree_lower line 12
2. theorem OAI.RyserCoveringCounterexample.Incidence.fourAnchors_pair_lower line 22
3. theorem OAI.RyserCoveringCounterexample.Incidence.fourAnchors_surplus_lower line 39
4. theorem OAI.RyserCoveringCounterexample.Incidence.fourAnchors_margin_lower line 60
5. theorem OAI.RyserCoveringCounterexample.Incidence.fourAnchors_count_lower line 76
6. theorem OAI.RyserCoveringCounterexample.Incidence.fourAnchors_total_lower line 109
7. theorem OAI.RyserCoveringCounterexample.Incidence.fourAnchors_candidate_upper line 135
8. theorem OAI.RyserCoveringCounterexample.Incidence.fourAnchors_average_lower line 150