OAI/Combinatorics/Ryser/LineCover/CountTailNumerics.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RyserCoveringCounterexample.LineCover.count_variance_ratio line 10
2. theorem OAI.RyserCoveringCounterexample.LineCover.count_coordinate_ratio line 24
3. theorem OAI.RyserCoveringCounterexample.LineCover.count_variance_ratio_le_coordinate line 31
4. theorem OAI.RyserCoveringCounterexample.LineCover.count_tail_le_stretched_exp line 46
5. theorem OAI.RyserCoveringCounterexample.LineCover.total_count_tail_le_stretched_exp line 62
6. theorem OAI.RyserCoveringCounterexample.LineCover.line_count_tail_le_stretched_exp line 74