OAI/Combinatorics/Ryser/LineCover/FiniteFailureNumerics.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RyserCoveringCounterexample.LineCover.half_sq_le_descFactorial_two line 7
2. theorem OAI.RyserCoveringCounterexample.LineCover.half_le_nat_sub_cast line 18
3. theorem OAI.RyserCoveringCounterexample.LineCover.low_sampling_failure_le_coarse line 25
4. theorem OAI.RyserCoveringCounterexample.LineCover.high_occupancy_term_le_coarse line 94